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