Notation
This section briefly explains the meta syntax constructs used in various parts of the language documentation.
Note
A proper grammar specification may be added later.
-
⟨name⟩
Refers to a grammar rule by the given name.
-
⟦ ... ⟧
Encloses a group of elements, which might be a combination of direct TethysL syntax and meta syntax constructs as explained in this page.
-
Without any of the following qualifiers appearing to the right, the construct will be required.
-
Otherwise, one of these characters,
?
,*
,+
, will indicate the number of possible occurrences of the rule or grouping on the left:?
: Zero or one time*
: Zero or more times+
: One or more times