A50: Nodes<Defn>  1:1-17:11  A49: DefFunDefn f  1:1-17:11  A46: Nodes<ParDefn>   A0: AtomType VOID  1:11-1:14  A48: Exprs  2:9-17:11  A47: Nodes<Expr>  2:9-17:11  A45: LetExpr  2:9-17:11  A42: Nodes<Defn>  3:17-14:30  A35: DefFunDefn g  3:17-13:27  A32: Nodes<ParDefn>   A1: AtomType VOID  3:27-3:30  A34: Exprs  4:25-13:27  A33: Nodes<Expr>  4:25-13:27  A4: CallExpr  4:25-4:27  A2: NameExpr h  4:25-4:25 defAt: A38 @ 14:17-14:30  A3: Nodes<Expr>   A31: LetExpr  5:25-13:27  A28: Nodes<Defn>  6:33-8:46  A12: DefFunDefn f  6:33-6:52  A9: Nodes<ParDefn>   A5: AtomType VOID  6:43-6:46  A11: Exprs  6:50-6:52  A10: Nodes<Expr>  6:50-6:52  A8: CallExpr  6:50-6:52  A6: NameExpr g  6:50-6:50 defAt: A15 @ 7:33-7:46  A7: Nodes<Expr>   A15: ExtFunDefn g  7:33-7:46  A14: Nodes<ParDefn>   A13: AtomType VOID  7:43-7:46  A18: ExtFunDefn x  8:33-8:46  A17: Nodes<ParDefn>   A16: AtomType VOID  8:43-8:46  A30: Exprs  10:33-12:35  A29: Nodes<Expr>  10:33-12:35  A21: CallExpr  10:33-10:35  A19: NameExpr f  10:33-10:33 defAt: A12 @ 6:33-6:52  A20: Nodes<Expr>   A24: CallExpr  11:33-11:35  A22: NameExpr g  11:33-11:33 defAt: A15 @ 7:33-7:46  A23: Nodes<Expr>   A27: CallExpr  12:33-12:35  A25: NameExpr h  12:33-12:33 defAt: A38 @ 14:17-14:30  A26: Nodes<Expr>   A38: ExtFunDefn h  14:17-14:30  A37: Nodes<ParDefn>   A36: AtomType VOID  14:27-14:30  A44: Exprs  16:17-16:23  A43: Nodes<Expr>  16:17-16:23  A39: NameExpr f  16:17-16:17 defAt: A49 @ 1:1-17:11  A40: NameExpr g  16:20-16:20 defAt: A35 @ 3:17-13:27  A41: NameExpr h  16:23-16:23 defAt: A38 @ 14:17-14:30