A23: Nodes<Defn>  2:1-9:7  A1: TypDefn a  2:1-2:11  A0: AtomType INT  2:9-2:11  A22: DefFunDefn f  3:1-9:7  A19: Nodes<ParDefn>  3:6-3:10  A3: ParDefn x  3:7-3:9  A2: NameType a  3:9-3:9 defAt: A1 @ 2:1-2:11  A4: AtomType INT  3:14-3:16  A21: Exprs  4:5-9:7  A20: Nodes<Expr>  4:5-9:7  A18: LetExpr  4:5-9:7  A15: Nodes<Defn>  5:9-6:17  A6: TypDefn a  5:9-5:20  A5: AtomType CHAR  5:17-5:20  A8: VarDefn y  6:9-6:17  A7: NameType a  6:17-6:17 defAt: A6 @ 5:9-5:20  A17: Exprs  8:9-8:18  A16: Nodes<Expr>  8:9-8:18  A14: Exprs  8:9-8:18  A13: Nodes<Expr>  8:9-8:18  A11: BinExpr ADD  8:10-8:14  A9: NameExpr x  8:10-8:10 defAt: A3 @ 3:7-3:9  A10: NameExpr y  8:14-8:14 defAt: A8 @ 6:9-6:17  A12: AtomExpr 3  8:17-8:17