A18: Nodes<Defn>  1:1-5:0  A4: TypDefn hax  1:1-1:19  A3: UniType  1:11-1:19  A2: Nodes<CompDefn>  1:11-1:19  A1: CompDefn a  1:12-1:18  A0: AtomType INT  1:16-1:18  A6: VarDefn id  2:1-2:26  A5: AtomType INT  2:10-2:26  A17: DefFunDefn x  3:1-4:20  A14: Nodes<ParDefn>   A7: AtomType VOID  3:11-3:14  A16: Exprs  4:9-4:20  A15: Nodes<Expr>  4:9-4:20  A13: Exprs  4:9-4:20  A12: Nodes<Expr>  4:9-4:20  A8: AtomExpr 1  4:10-4:10  A9: AtomExpr 2  4:13-4:13  A10: AtomExpr 3  4:16-4:16  A11: AtomExpr 4  4:19-4:19