:: * ::= * ::= ‘{’ ::= ‘}’ ::= | | | | ::= ‘return’ ‘;’ ::= ‘let’ ‘:’ ‘;’ ::= (( ∈ { all alphabetic characters } ) (∈ { all alphanumeric characters })*) ::= ‘=’ ‘;’ ::= Number | String | Bool | Function ::= | ::= ∈ ℤ ::= | ::= True | False ::= ‘ “ ’ ( ∈ { all alphanumeric characters } )* ‘ ” ’ ::= ‘(’ * ‘)’ ‘->’ ::= | | | | ::= | ::= ::= ( ‘==’ ) | ( ‘<’ | ‘<=’ | ‘>’ | ‘>=’ ) ::= ‘+’ | ‘-’ | ‘*’ | ‘/’ ::= | | | ::= ‘:’ ::= ‘(’ * ‘)’ ‘;’ ::= if ‘(’ ‘)’