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