::= { DeclarationStart } ::= Symbol Colon DeclarationStart Symbol { Symbol } Assign ::= Symbol { } ::= If | { } In | | Type ::= Literal | Symbol | OpenParen CloseParen ::= Let Symbol Assign ::= Is { Comma } [ Comma ] | Then Else ::= Aro ::= { } ::= { } ::= { } ::= { } ::= { } ::= { } ::= { } ::= LOr | VBar ::= LAnd | Aro ::= Eq | NEq | LessThan | GreaterThan ::= Range ::= Add | Sub ::= Mult | Div | Mod ::= Symbol { } ::= Literal | Symbol | OpenParen CloseParen