A4:
Nodes<Defn>
1:1-2:11
A1:
TypDefn
t1
1:1-1:11
A0:
NameType
t2
1:10-1:11
defAt:
A3 @
2:1-2:11
A3:
TypDefn
t2
2:1-2:11
A2:
NameType
t1
2:10-2:11
defAt:
A1 @
1:1-1:11