A25: Nodes<Defn> 
1:1-1:67
 A24: DefFunDefn f 
1:1-1:67
 A21: Nodes<ParDefn> 
1:6-1:32
 A1: ParDefn a 
1:7-1:13
 A0: AtomType INT 
1:11-1:13
 A3: ParDefn b 
1:16-1:22
 A2: AtomType INT 
1:20-1:22
 A5: ParDefn c 
1:25-1:31
 A4: AtomType INT 
1:29-1:31
 A6: AtomType BOOL 
1:36-1:39
 A23: Exprs 
1:43-1:67
 A22: Nodes<Expr> 
1:43-1:67
 A20: CastExpr 
1:43-1:67
 A18: BinExpr SUB 
1:43-1:60
 A14: BinExpr ADD 
1:43-1:53
 A12: BinExpr ADD 
1:43-1:51
 A8: PfxExpr NOT 
1:43-1:47
 A7: NameExpr a 
1:47-1:47
defAt: A1 @ 1:7-1:13
 A11: BinExpr MUL 
1:49-1:51
 A9: NameExpr b 
1:49-1:49
defAt: A3 @ 1:16-1:22
 A10: NameExpr b 
1:51-1:51
defAt: A3 @ 1:16-1:22
 A13: NameExpr a 
1:53-1:53
defAt: A1 @ 1:7-1:13
 A17: BinExpr MOD 
1:55-1:60
 A15: NameExpr c 
1:55-1:55
defAt: A5 @ 1:25-1:31
 A16: AtomExpr 10 
1:59-1:60
 A19: AtomType INT 
1:65-1:67