A49: Nodes<Defn>  1:1-5:0  A44: DefFunDefn funny  1:1-1:114  A41: Nodes<ParDefn>   A0: AtomType VOID  1:15-1:18  A43: Exprs  1:22-1:114  A42: Nodes<Expr>  1:22-1:114  A23: CastExpr  1:22-1:69  A6: PfxExpr PTR  1:22-1:29  A5: SfxExpr PTR  1:23-1:29  A4: CompExpr c  1:23-1:28  A3: ArrExpr  1:23-1:26  A1: NameExpr a  1:23-1:23  A2: NameExpr b  1:25-1:25  A22: UniType  1:34-1:69  A21: Nodes<CompDefn>  1:34-1:69  A9: CompDefn a  1:36-1:40  A8: UniType  1:39-1:40  A7: Nodes<CompDefn>   A20: CompDefn b  1:43-1:68  A19: FunType  1:46-1:68  A18: Nodes<Type>  1:48-1:62  A16: UniType  1:48-1:62  A15: Nodes<CompDefn>  1:48-1:62  A14: CompDefn a  1:49-1:61  A13: StrType  1:52-1:61  A12: Nodes<CompDefn>  1:54-1:60  A11: CompDefn g  1:54-1:60  A10: AtomType INT  1:58-1:60  A17: AtomType BOOL  1:64-1:67  A40: SizeExpr  1:72-1:114  A39: UniType  1:79-1:114  A38: Nodes<CompDefn>  1:79-1:114  A26: CompDefn a  1:81-1:85  A25: UniType  1:84-1:85  A24: Nodes<CompDefn>   A37: CompDefn b  1:88-1:113  A36: FunType  1:91-1:113  A35: Nodes<Type>  1:93-1:107  A33: UniType  1:93-1:107  A32: Nodes<CompDefn>  1:93-1:107  A31: CompDefn a  1:94-1:106  A30: StrType  1:97-1:106  A29: Nodes<CompDefn>  1:99-1:105  A28: CompDefn g  1:99-1:105  A27: AtomType INT  1:103-1:105  A34: AtomType BOOL  1:109-1:112  A48: TypDefn t  4:1-4:13  A47: FunType  4:9-4:13  A46: Nodes<Type>   LOCATION   A45: NameType t  4:12-4:12