A30: Nodes<Defn>  2:1-6:17  A6: TypDefn t1  2:1-2:23  A5: StrType  2:10-2:23  A4: Nodes<CompDefn>  2:11-2:22  A1: CompDefn i  2:11-2:15  A0: AtomType INT  2:13-2:15  A3: CompDefn n  2:18-2:22  A2: NameType t2  2:21-2:22 defAt: A13 @ 3:1-3:23  A13: TypDefn t2  3:1-3:23  A12: StrType  3:10-3:23  A11: Nodes<CompDefn>  3:11-3:22  A8: CompDefn j  3:11-3:15  A7: AtomType INT  3:13-3:15  A10: CompDefn n  3:18-3:22  A9: NameType t1  3:21-3:22 defAt: A6 @ 2:1-2:23  A21: DefFunDefn a  5:1-5:17  A18: Nodes<ParDefn>   A14: AtomType INT  5:9-5:11  A20: Exprs  5:15-5:17  A19: Nodes<Expr>  5:15-5:17  A17: CallExpr  5:15-5:17  A15: NameExpr b  5:15-5:15 defAt: A29 @ 6:1-6:17  A16: Nodes<Expr>   A29: DefFunDefn b  6:1-6:17  A26: Nodes<ParDefn>   A22: AtomType INT  6:9-6:11  A28: Exprs  6:15-6:17  A27: Nodes<Expr>  6:15-6:17  A25: CallExpr  6:15-6:17  A23: NameExpr a  6:15-6:15 defAt: A21 @ 5:1-5:17  A24: Nodes<Expr>