A41: Nodes<Defn>  1:1-15:7  A40: DefFunDefn main  1:1-15:7  A37: Nodes<ParDefn>   A0: AtomType BOOL  1:12-1:15  A39: Exprs  2:5-15:7  A38: Nodes<Expr>  2:5-15:7  A18: LetExpr  2:5-8:7  A15: Nodes<Defn>  3:9-4:15  A2: TypDefn a  3:9-3:17  A1: AtomType INT  3:15-3:17  A4: VarDefn c  4:9-4:15  A3: NameType a  4:15-4:15 defAt: A2 @ 3:9-3:17  A17: Exprs  6:9-7:21  A16: Nodes<Expr>  6:9-7:21  A7: AsgnExpr  6:9-6:13  A5: NameExpr c  6:9-6:9 defAt: A4 @ 4:9-4:15  A6: AtomExpr 2  6:13-6:13  A14: BinExpr GTH  7:9-7:21  A10: BinExpr MUL  7:9-7:13  A8: NameExpr c  7:9-7:9 defAt: A4 @ 4:9-4:15  A9: NameExpr c  7:13-7:13 defAt: A4 @ 4:9-4:15  A13: BinExpr ADD  7:17-7:21  A11: NameExpr c  7:17-7:17 defAt: A4 @ 4:9-4:15  A12: NameExpr c  7:21-7:21 defAt: A4 @ 4:9-4:15  A36: LetExpr  9:5-15:7  A33: Nodes<Defn>  10:9-11:17  A20: VarDefn c  10:9-10:15  A19: NameType b  10:15-10:15 defAt: A22 @ 11:9-11:17  A22: TypDefn b  11:9-11:17  A21: AtomType INT  11:15-11:17  A35: Exprs  13:9-14:21  A34: Nodes<Expr>  13:9-14:21  A25: AsgnExpr  13:9-13:13  A23: NameExpr c  13:9-13:9 defAt: A20 @ 10:9-10:15  A24: AtomExpr 1  13:13-13:13  A32: BinExpr GTH  14:9-14:21  A28: BinExpr MUL  14:9-14:13  A26: NameExpr c  14:9-14:9 defAt: A20 @ 10:9-10:15  A27: NameExpr c  14:13-14:13 defAt: A20 @ 10:9-10:15  A31: BinExpr ADD  14:17-14:21  A29: NameExpr c  14:17-14:17 defAt: A20 @ 10:9-10:15  A30: NameExpr c  14:21-14:21 defAt: A20 @ 10:9-10:15