A97: Nodes<Defn>  1:1-9:224  A1: TypDefn T  1:1-1:11  A0: AtomType INT  1:9-1:11  A3: TypDefn idtyp  3:1-3:13  A2: NameType T  3:13-3:13  A5: VarDefn idvar  5:1-5:13  A4: NameType T  5:13-5:13  A30: ExtFunDefn idfun1  7:1-7:71  A29: Nodes<ParDefn>  7:12-7:60  A24: ParDefn par1  7:13-7:59  A23: UniType  7:20-7:59  A22: Nodes<CompDefn>  7:22-7:58  A10: CompDefn a  7:22-7:30  A9: UniType  7:25-7:30  A8: Nodes<CompDefn>  7:26-7:29  A7: CompDefn a  7:26-7:29  A6: NameType T  7:29-7:29  A21: CompDefn b  7:33-7:58  A20: FunType  7:36-7:58  A19: Nodes<Type>  7:37-7:53  A17: UniType  7:38-7:52  A16: Nodes<CompDefn>  7:39-7:51  A15: CompDefn a  7:39-7:51  A14: StrType  7:42-7:51  A13: Nodes<CompDefn>  7:44-7:50  A12: CompDefn g  7:44-7:50  A11: AtomType INT  7:48-7:50  A18: AtomType BOOL  7:54-7:57  A28: UniType  7:64-7:71  A27: Nodes<CompDefn>  7:65-7:70  A26: CompDefn a  7:65-7:70  A25: AtomType INT  7:68-7:70  A96: DefFunDefn idfun2  9:1-9:224  A93: Nodes<ParDefn>   A31: AtomType VOID  9:17-9:20  A95: Exprs  9:24-9:224  A94: Nodes<Expr>  9:24-9:224  A33: PfxExpr NOT  9:24-9:31  A32: AtomExpr true  9:28-9:31  A35: PfxExpr ADD  9:34-9:37  A34: AtomExpr 100  9:35-9:37  A37: PfxExpr SUB  9:40-9:43  A36: AtomExpr 100  9:41-9:43  A40: BinExpr ADD  9:46-9:48  A38: AtomExpr 1  9:46-9:46  A39: AtomExpr 2  9:48-9:48  A43: BinExpr SUB  9:51-9:53  A41: AtomExpr 1  9:51-9:51  A42: AtomExpr 3  9:53-9:53  A46: BinExpr MUL  9:56-9:58  A44: AtomExpr 1  9:56-9:56  A45: AtomExpr 3  9:58-9:58  A49: BinExpr MUL  9:61-9:64  A47: AtomExpr 4  9:61-9:61  A48: AtomExpr 22  9:63-9:64  A52: BinExpr DIV  9:67-9:69  A50: AtomExpr 5  9:67-9:67  A51: AtomExpr 2  9:69-9:69  A55: BinExpr MOD  9:72-9:76  A53: AtomExpr 35  9:72-9:73  A54: AtomExpr 23  9:75-9:76  A58: BinExpr AND  9:79-9:92  A56: AtomExpr true  9:79-9:82  A57: AtomExpr false  9:88-9:92  A61: BinExpr OR  9:95-9:107  A59: AtomExpr false  9:95-9:99  A60: AtomExpr true  9:104-9:107  A77: LetExpr  9:110-9:186  A74: Nodes<Defn>  9:114-9:157  A63: VarDefn assignme  9:114-9:131  A62: AtomType INT  9:129-9:131  A65: VarDefn a  9:133-9:144  A64: AtomType BOOL  9:141-9:144  A67: VarDefn b  9:146-9:157  A66: AtomType BOOL  9:154-9:157  A76: Exprs  9:162-9:182  A75: Nodes<Expr>  9:162-9:182  A70: AsgnExpr  9:162-9:173  A68: NameExpr assignme  9:162-9:169  A69: AtomExpr 1  9:173-9:173  A73: BinExpr EQU  9:177-9:182  A71: NameExpr a  9:177-9:177  A72: NameExpr b  9:182-9:182  A80: BinExpr GEQ  9:189-9:198  A78: AtomExpr 234  9:189-9:191  A79: AtomExpr 123  9:196-9:198  A83: BinExpr LTH  9:201-9:206  A81: AtomExpr 23  9:201-9:202  A82: AtomExpr 235  9:204-9:206  A86: BinExpr GTH  9:209-9:212  A84: AtomExpr 34  9:209-9:210  A85: AtomExpr 2  9:212-9:212  A89: BinExpr LTH  9:216-9:218  A87: AtomExpr 3  9:216-9:216  A88: AtomExpr 5  9:218-9:218  A92: BinExpr LEQ  9:221-9:224  A90: AtomExpr 2  9:221-9:221  A91: AtomExpr 2  9:224-9:224