Comments can be nested and can extend over more than one line. Pragmas can be nested and can extend over more than one line.
Terminals are either keywords or quoted operators.
The symbols Ident , Number , TextLiteral , and CharLiteral are defined in the token grammar . Each production is terminated by a period. BITS ConstExpr FOR Type. SET OF Type. 2.8.12 Token productions To read a token, first skip all blanks, tabs, newlines, carriage returns, vertical tabs, form feeds, comments, and pragmas.