A declaration is either:

• An action
• A logical judgment
• A module
• A module instantiation (including an object or isolate)
• A parameter, import or export
• An alias
• An attribute
• An autoinstance

Declarations can appear anywhere in a module, including at the top level of a file, which is an implicit global object.