Syntax

In this help section we give the extended BNF-grammars for the syntax of the various system components. Please notice that the BNF describes a bigger language than the actual language allowed by the type checker.

All-nonterminals have a unique name with a capital initial letter. NAT denotes the natural numbers and zero and ID denotes the valid identifier names. All terminal symbols are shown in quotation marks like this '('. In the grammar the following symbols will be used:

|      or
[]     optional
()     grouping
+      one or more
*      zero or more

The valid identifier names and the reserved keywords are also described.