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