A13:
Nodes<Defn>
1:1-4:0
A3:
TypDefn
a
1:1-1:15
A2:
FunType
1:9-1:15
A1:
Nodes<Type>
A0:
AtomType
INT
1:12-1:14
A12:
DefFunDefn
f
2:1-3:7
A9:
Nodes<ParDefn>
A5:
UniType
2:11-2:12
A4:
Nodes<CompDefn>
A11:
Exprs
3:5-3:7
A10:
Nodes<Expr>
3:5-3:7
A8:
PfxExpr
PTR
3:5-3:7
A7:
SfxExpr
PTR
3:6-3:7
A6:
NameExpr
a
3:6-3:6