Each CSL module has the following syntax:
Copy
[<import-directive>*]
{<formula> | <rule> | <message> | <function-definition> | <set-block>}[
{<formula> | <rule> | <message> | <function-definition> | <set-block>}]*See Imports and Formulas and Rules for information on each syntactic category mentioned above: