The Grammar

``[]'' encloses optional parts that may appear exactly once.

``'' encloses optional parts that may appear one or more times.

• Program
• Type System
• Declarations
• Statements
• Iterators
• Expressions
  • Function Calls
  • Sequences
  • Sets
  • Tuples