A23: Nodes<Defn> 
1:1-2:68
 A1: VarDefn b 
1:1-1:11
 A0: AtomType INT 
1:9-1:11
 A22: DefFunDefn f 
2:1-2:68
 A19: Nodes<ParDefn> 
2:6-2:14
 A3: ParDefn a 
2:7-2:13
 A2: AtomType INT 
2:11-2:13
 A4: AtomType VOID 
2:18-2:21
 A21: Exprs 
2:25-2:68
 A20: Nodes<Expr> 
2:25-2:68
 A18: AsgnExpr 
2:25-2:68
 A5: NameExpr a 
2:25-2:25
defAt: A3 @ 2:7-2:13
 A17: BinExpr OR 
2:29-2:68
 A6: NameExpr b 
2:29-2:29
defAt: A1 @ 1:1-1:11
 A16: BinExpr AND 
2:36-2:68
 A7: AtomExpr false 
2:36-2:40
 A15: BinExpr NEQ 
2:46-2:68
 A8: AtomExpr true 
2:46-2:49
 A14: BinExpr ADD 
2:54-2:68
 A9: AtomExpr false 
2:54-2:58
 A13: BinExpr MUL 
2:62-2:68
 A10: AtomExpr 2 
2:62-2:62
 A12: SfxExpr PTR 
2:66-2:68
 A11: AtomExpr 4 
2:66-2:66