|
| A0: AtomType INT |
| 1:11-1:13 |
|
|
|
|
|
| A2: AtomType INT |
| 2:10-2:12 |
|
|
|
|
|
| A4: NameType T1 |
| 3:10-3:11 |
| defAt: A3 @ 2:1-2:12 |
|
|
|
|
|
| A6: NameType T2 |
| 4:10-4:11 |
| defAt: A5 @ 3:1-3:11 |
|
|
|
|
|
| A8: NameType idt |
| 5:10-5:12 |
| defAt: A1 @ 1:1-1:13 |
|
|
|
|
| A12: VarDefn idv |
| 7:1-7:17 |
|
| A11: ArrType ArrType[10] |
| 7:11-7:17 |
|
| A10: NameType idt |
| 7:15-7:17 |
| defAt: A1 @ 1:1-1:13 |
|
|
|
|
|
| A21: ExtFunDefn idf |
| 9:1-9:48 |
|
| A20: Nodes<ParDefn> |
| 9:9-9:42 |
|
| A14: ParDefn id1 |
| 9:11-9:18 |
|
| A13: NameType T1 |
| 9:17-9:18 |
| defAt: A3 @ 2:1-2:12 |
|
|
|
|
| A16: ParDefn id2 |
| 9:22-9:29 |
|
| A15: NameType T2 |
| 9:28-9:29 |
| defAt: A5 @ 3:1-3:11 |
|
|
|
|
| A18: ParDefn id3 |
| 9:33-9:40 |
|
| A17: NameType T3 |
| 9:39-9:40 |
| defAt: A7 @ 4:1-4:11 |
|
|
|
|
|
| A19: NameType idt |
| 9:46-9:48 |
| defAt: A1 @ 1:1-1:13 |
|
|
|
|
| A38: DefFunDefn idff |
| 11:1-11:60 |
|
| A35: Nodes<ParDefn> |
| 11:10-11:20 |
|
| A23: ParDefn abc |
| 11:12-11:19 |
|
| A22: NameType id |
| 11:18-11:19 |
| defAt: A9 @ 5:1-5:12 |
|
|
|
|
|
| A24: NameType idt |
| 11:24-11:26 |
| defAt: A1 @ 1:1-1:13 |
|
|
|
|
| A36: Nodes<Expr> |
| 11:30-11:60 |
|
| A25: AtomExpr 1 |
| 11:30-11:30 |
|
|
|
| A26: AtomExpr 2 |
| 11:33-11:33 |
|
|
|
| A27: AtomExpr 3 |
| 11:36-11:36 |
|
|
|
| A34: WhileExpr |
| 11:39-11:60 |
|
| A28: AtomExpr 2 |
| 11:45-11:45 |
|
|
|
|
| A32: Nodes<Expr> |
| 11:50-11:56 |
|
| A29: AtomExpr 1 |
| 11:50-11:50 |
|
|
|
| A30: AtomExpr 2 |
| 11:53-11:53 |
|
|
|
| A31: AtomExpr 3 |
| 11:56-11:56 |
|
|
|
|
|
|
|
|
|