Class | Description |
---|---|
Args |
function call arguments '(' ExprList ')' (last is push)
|
AxiomStmt |
axiom statement: name ':' expr '=' expr .
|
Expr |
expression
|
FTLArrow |
function call arguments '(' ExprList ')' (last is push)
|
FuncStmt |
function line statement: name name+ "arrow" name+
|
FuncType |
function type is a modified name :- choose1('option', 'table', (empty)) name
|
KonsStmt |
Konstraint statement: name ':' expr '.'
|
TBStmt |
spec statement: spec name.
|
VarDecl |
axiom statement: name ':' expr '=' expr .
|
VarOrFCall |
expression
|