A17:
Nodes<Defn>
1:1-1:46
A16:
VarDefn
rav
1:1-1:46
A15:
UniType
1:11-1:46
A14:
Nodes<CompDefn>
1:11-1:46
A2:
CompDefn
a
1:13-1:17
A1:
UniType
1:16-1:17
A0:
Nodes<CompDefn>
A13:
CompDefn
b
1:20-1:45
A12:
FunType
1:23-1:45
A11:
Nodes<Type>
1:25-1:39
A9:
UniType
1:25-1:39
A8:
Nodes<CompDefn>
1:25-1:39
A7:
CompDefn
a
1:26-1:38
A6:
StrType
1:29-1:38
A5:
Nodes<CompDefn>
1:31-1:37
A4:
CompDefn
g
1:31-1:37
A3:
AtomType
INT
1:35-1:37
A10:
AtomType
BOOL
1:41-1:44