This section briefly explains the meta syntax constructs used in various parts of the language documentation.
A proper grammar specification may be added later.
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