A15:
Nodes<Defn>
2:1-4:0
A14:
DefFunDefn
f
2:1-2:55
A11:
Nodes<ParDefn>
A0:
AtomType
INT
2:11-2:13
A13:
Exprs
2:17-2:55
A12:
Nodes<Expr>
2:17-2:55
A10:
LetExpr
2:17-2:55
A7:
Nodes<Defn>
2:21-2:43
A2:
TypDefn
a
2:21-2:31
A1:
AtomType
INT
2:29-2:31
A4:
TypDefn
b
2:33-2:43
A3:
AtomType
INT
2:41-2:43
A9:
Exprs
2:48-2:51
A8:
Nodes<Expr>
2:48-2:51
A5:
NameExpr
a
2:48-2:48
A6:
NameExpr
b
2:51-2:51