A81: Nodes<Defn>  1:1-7:164  A1: TypDefn id  1:1-1:10  A0: NameType T  1:10-1:10  A3: VarDefn id  3:1-3:10  A2: NameType T  3:10-3:10  A24: ExtFunDefn id  5:1-5:57  A23: Nodes<ParDefn>  5:8-5:52  A20: ParDefn par1  5:9-5:51  A19: UniType  5:16-5:51  A18: Nodes<CompDefn>  5:16-5:51  A6: CompDefn a  5:18-5:22  A5: UniType  5:21-5:22  A4: Nodes<CompDefn>   A17: CompDefn b  5:25-5:50  A16: FunType  5:28-5:50  A15: Nodes<Type>  5:30-5:44  A13: UniType  5:30-5:44  A12: Nodes<CompDefn>  5:30-5:44  A11: CompDefn a  5:31-5:43  A10: StrType  5:34-5:43  A9: Nodes<CompDefn>  5:36-5:42  A8: CompDefn g  5:36-5:42  A7: AtomType INT  5:40-5:42  A14: AtomType BOOL  5:46-5:49  A22: UniType  5:56-5:57  A21: Nodes<CompDefn>   A80: DefFunDefn id  7:1-7:164  A77: Nodes<ParDefn>   A25: AtomType VOID  7:13-7:16  A79: Exprs  7:20-7:164  A78: Nodes<Expr>  7:20-7:164  A27: PfxExpr NOT  7:20-7:27  A26: AtomExpr true  7:24-7:27  A29: PfxExpr ADD  7:30-7:33  A28: AtomExpr 100  7:31-7:33  A31: PfxExpr SUB  7:36-7:39  A30: AtomExpr 100  7:37-7:39  A34: BinExpr ADD  7:42-7:44  A32: AtomExpr 1  7:42-7:42  A33: AtomExpr 2  7:44-7:44  A37: BinExpr SUB  7:47-7:49  A35: AtomExpr 1  7:47-7:47  A36: AtomExpr 3  7:49-7:49  A40: BinExpr MUL  7:52-7:54  A38: AtomExpr 1  7:52-7:52  A39: AtomExpr 3  7:54-7:54  A43: BinExpr MUL  7:57-7:60  A41: AtomExpr 4  7:57-7:57  A42: AtomExpr 22  7:59-7:60  A46: BinExpr DIV  7:63-7:65  A44: AtomExpr 5  7:63-7:63  A45: AtomExpr 2  7:65-7:65  A49: BinExpr MOD  7:68-7:72  A47: AtomExpr 35  7:68-7:69  A48: AtomExpr 23  7:71-7:72  A52: BinExpr AND  7:75-7:88  A50: AtomExpr true  7:75-7:78  A51: AtomExpr false  7:84-7:88  A55: BinExpr OR  7:91-7:103  A53: AtomExpr false  7:91-7:95  A54: AtomExpr true  7:100-7:103  A58: AsgnExpr  7:106-7:117  A56: NameExpr assignme  7:106-7:113  A57: AtomExpr 1  7:117-7:117  A61: BinExpr EQU  7:121-7:126  A59: NameExpr a  7:121-7:121  A60: NameExpr b  7:126-7:126  A64: BinExpr GEQ  7:129-7:138  A62: AtomExpr 234  7:129-7:131  A63: AtomExpr 123  7:136-7:138  A67: BinExpr LTH  7:141-7:146  A65: AtomExpr 23  7:141-7:142  A66: AtomExpr 235  7:144-7:146  A70: BinExpr GTH  7:149-7:152  A68: AtomExpr 34  7:149-7:150  A69: AtomExpr 2  7:152-7:152  A73: BinExpr LTH  7:156-7:158  A71: AtomExpr 3  7:156-7:156  A72: AtomExpr 5  7:158-7:158  A76: BinExpr LEQ  7:161-7:164  A74: AtomExpr 2  7:161-7:161  A75: AtomExpr 2  7:164-7:164