A57: Nodes<Defn>  1:2-6:17  A1: TypDefn vv  1:2-1:14  A0: AtomType VOID  1:11-1:14  A11: ExtFunDefn f1  3:2-3:30  A10: Nodes<ParDefn>  3:8-3:26  A8: ParDefn p1  3:9-3:25  A7: StrType  3:12-3:25  A6: Nodes<CompDefn>  3:13-3:24  A3: CompDefn i  3:13-3:17  A2: AtomType INT  3:15-3:17  A5: CompDefn j  3:20-3:24  A4: AtomType INT  3:22-3:24  A9: AtomType INT  3:28-3:30  A21: ExtFunDefn f2  4:2-4:31  A20: Nodes<ParDefn>  4:8-4:26  A18: ParDefn p2  4:9-4:25  A17: UniType  4:12-4:25  A16: Nodes<CompDefn>  4:13-4:24  A13: CompDefn i  4:13-4:17  A12: AtomType INT  4:15-4:17  A15: CompDefn j  4:20-4:24  A14: AtomType INT  4:22-4:24  A19: AtomType CHAR  4:28-4:31  A51: ExtFunDefn f3  5:2-5:84  A50: Nodes<ParDefn>  5:8-5:79  A48: ParDefn p3  5:9-5:78  A47: UniType  5:12-5:78  A46: Nodes<CompDefn>  5:13-5:77  A38: CompDefn s1  5:13-5:57  A37: UniType  5:17-5:57  A36: Nodes<CompDefn>  5:18-5:56  A28: CompDefn s21  5:18-5:36  A27: UniType  5:22-5:36  A26: Nodes<CompDefn>  5:23-5:35  A23: CompDefn i  5:23-5:27  A22: AtomType INT  5:25-5:27  A25: CompDefn j  5:30-5:35  A24: AtomType INT  5:33-5:35  A35: CompDefn s22  5:39-5:56  A34: UniType  5:43-5:56  A33: Nodes<CompDefn>  5:44-5:55  A30: CompDefn i  5:44-5:48  A29: AtomType INT  5:46-5:48  A32: CompDefn j  5:51-5:55  A31: AtomType INT  5:53-5:55  A45: CompDefn s2  5:60-5:77  A44: StrType  5:63-5:77  A43: Nodes<CompDefn>  5:64-5:76  A40: CompDefn i  5:64-5:68  A39: AtomType INT  5:66-5:68  A42: CompDefn j  5:71-5:76  A41: AtomType INT  5:74-5:76  A49: AtomType BOOL  5:81-5:84  A56: ExtFunDefn f4  6:2-6:17  A55: Nodes<ParDefn>  6:8-6:14  A53: ParDefn p4  6:9-6:13  A52: NameType vv  6:12-6:13 defAt: A1 @ 1:2-1:14  A54: NameType vv  6:16-6:17 defAt: A1 @ 1:2-1:14