module Syntaxtree:sig
..end
type
ide =
| |
Ide of |
type
aexp =
| |
N of |
| |
R of |
| |
Var of |
| |
Vec of |
| |
Mat of |
| |
Sum of |
| |
Sub of |
| |
Mul of |
| |
Div of |
| |
FCall of |
type
bexp =
| |
B of |
| |
Equ of |
| |
LE of |
| |
LT of |
| |
Not of |
| |
And of |
| |
Or of |
type
lexp =
| |
LVar of |
| |
LVec of |
| |
LMat of |
type
cmd =
| |
Ass of |
| |
Blk of |
| |
Ite of |
| |
While of |
| |
Repeat of |
| |
For of |
| |
Write of |
| |
PCall of |
type
bType =
| |
Int |
| |
Float |
type
gType =
| |
Basic of |
| |
Vector of |
| |
Matrix of |
type
dec =
| |
Dec of |
type
param =
| |
Par of |
type
ret =
| |
Ret of |
type
proc =
| |
Proc of |
| |
Func of |
type
program =
| |
Program of |
| |
SynError |