|
| A0: NameType b |
| 2:9-2:9 |
| defAt: A3 @ 3:1-3:11 |
|
|
|
|
|
| A2: AtomType INT |
| 3:9-3:11 |
|
|
|
|
| A11: DefFunDefn f |
| 6:1-6:19 |
|
|
| A4: AtomType INT |
| 6:11-6:13 |
|
|
|
|
| A9: Nodes<Expr> |
| 6:17-6:19 |
|
|
| A5: NameExpr g |
| 6:17-6:17 |
| defAt: A17 @ 7:1-7:17 |
|
|
|
|
|
|
|
|
| A17: DefFunDefn g |
| 7:1-7:17 |
|
|
| A12: AtomType INT |
| 7:11-7:13 |
|
|
|
|
| A15: Nodes<Expr> |
| 7:17-7:17 |
|
| A13: AtomExpr 1 |
| 7:17-7:17 |
|
|
|
|
|
|