Types, constants, variables and functions can be defined in the global scope by placing them in the global section labelled Declarations or System declarations, or locally for a template by placing in the Declarations section of a template.
Process are instantiated by placing a process assignments in the System declarations section.
Finally, the system is defined as a parallel composition of a number of processes by placing a system declaration in the System declarations section.
The syntax for each of these sections is defined in the section on the Language Reference section.
Note: Clicking a declaration with the right mouse button causes a pop-up menu to appear which has an item for showing syntax errors.