Non-terminal symbol `Statement`

This is the main compilation unit, an element of the sequence of statements that make up an AQL program. It consists of one of:

Pragma statement: (Pragma)
Extra-language commands for user interaction conveniences such as tracing etc...
Definition statement: (DefinitionStatement)
To define various kinds of terms, types and values.
Typing statement: ('?')
To type an Expression (and display all its most general types).
Expression evaluation statement: (Expression)
To type and evaluate an expression (with possible side effects).
Error statement: (error)
To enable error recovery à la yacc.
Empty statement: (';')
Has no effect; simply skipped.

Defining rules for nonterminal symbol Statement:

`Statement`		'`#`' `Pragma` `PragmaArgument_opt` `EOS`
		`DefinitionStatement`
		'`?`' `Expression` `EOS`
		`Expression` `EOS`
		`error` `EOS`
		'`;`'

Occurrences of symbol Statement in body of other rules:

Statements_opt Statements_opt Statement

Non-terminal symbol Statement