|
| A0: AtomType INT |
| 1:9-1:11 |
|
|
|
|
|
| A2: AtomType CHAR |
| 2:9-2:12 |
|
|
|
|
|
| A4: AtomType BOOL |
| 3:9-3:12 |
|
|
|
|
| A69: DefFunDefn bb |
| 5:1-15:6 |
|
| A66: Nodes<ParDefn> |
| 5:7-5:22 |
|
|
| A6: AtomType INT |
| 5:11-5:13 |
|
|
|
|
|
| A8: AtomType INT |
| 5:19-5:21 |
|
|
|
|
|
| A10: NameType b |
| 5:25-5:25 |
| defAt: A5 @ 3:1-3:12 |
|
|
|
|
| A67: Nodes<Expr> |
| 6:5-15:6 |
|
|
| A62: Nodes<Defn> |
| 7:9-7:41 |
|
| A22: DefFunDefn bbb |
| 7:9-7:41 |
|
| A19: Nodes<ParDefn> |
| 7:16-7:27 |
|
| A12: ParDefn d1 |
| 7:17-7:20 |
|
| A11: NameType i |
| 7:20-7:20 |
| defAt: A1 @ 1:1-1:11 |
|
|
|
|
| A14: ParDefn d2 |
| 7:23-7:26 |
|
| A13: NameType i |
| 7:26-7:26 |
| defAt: A1 @ 1:1-1:11 |
|
|
|
|
|
| A15: NameType i |
| 7:31-7:31 |
| defAt: A1 @ 1:1-1:11 |
|
|
|
|
| A20: Nodes<Expr> |
| 7:35-7:41 |
|
| A18: BinExpr ADD |
| 7:35-7:41 |
|
| A16: NameExpr d1 |
| 7:35-7:36 |
| defAt: A12 @ 7:17-7:20 |
|
|
|
| A17: NameExpr d2 |
| 7:40-7:41 |
| defAt: A14 @ 7:23-7:26 |
|
|
|
|
|
|
|
|
|
| A63: Nodes<Expr> |
| 9:9-14:12 |
|
|
| A55: Nodes<Defn> |
| 9:13-10:50 |
|
| A28: DefFunDefn aa |
| 9:13-9:30 |
|
|
| A23: NameType c |
| 9:24-9:24 |
| defAt: A3 @ 2:1-2:12 |
|
|
|
|
| A26: Nodes<Expr> |
| 9:28-9:30 |
|
| A24: AtomExpr 'a' |
| 9:28-9:30 |
|
|
|
|
|
|
| A44: DefFunDefn aaa |
| 10:13-10:50 |
|
| A41: Nodes<ParDefn> |
| 10:20-10:24 |
|
| A30: ParDefn f |
| 10:21-10:23 |
|
| A29: NameType i |
| 10:23-10:23 |
| defAt: A1 @ 1:1-1:11 |
|
|
|
|
|
| A31: NameType i |
| 10:28-10:28 |
| defAt: A1 @ 1:1-1:11 |
|
|
|
|
| A42: Nodes<Expr> |
| 10:32-10:50 |
|
| A40: BinExpr ADD |
| 10:32-10:50 |
|
| A36: BinExpr ADD |
| 10:32-10:40 |
|
| A34: BinExpr MUL |
| 10:32-10:36 |
|
| A32: AtomExpr 5 |
| 10:32-10:32 |
|
|
|
| A33: AtomExpr 4 |
| 10:36-10:36 |
|
|
|
|
| A35: AtomExpr 7 |
| 10:40-10:40 |
|
|
|
|
| A39: BinExpr MOD |
| 10:44-10:50 |
|
| A37: AtomExpr 9 |
| 10:44-10:44 |
|
|
|
| A38: AtomExpr 110 |
| 10:48-10:50 |
|
|
|
|
|
|
|
|
|
|
| A56: Nodes<Expr> |
| 12:13-12:30 |
|
| A54: BinExpr MUL |
| 12:13-12:30 |
|
| A48: CallExpr |
| 12:13-12:18 |
|
| A45: NameExpr aaa |
| 12:13-12:15 |
| defAt: A44 @ 10:13-10:50 |
|
|
|
| A47: Nodes<Expr> |
| 12:16-12:18 |
|
| A46: AtomExpr 8 |
| 12:17-12:17 |
|
|
|
|
|
| A53: CallExpr |
| 12:22-12:30 |
|
| A49: NameExpr bbb |
| 12:22-12:24 |
| defAt: A22 @ 7:9-7:41 |
|
|
|
| A52: Nodes<Expr> |
| 12:25-12:30 |
|
| A50: AtomExpr 2 |
| 12:26-12:26 |
|
|
|
| A51: AtomExpr 3 |
| 12:29-12:29 |
|
|
|
|
|
|
|
|
|
| A61: BinExpr GEQ |
| 14:5-14:12 |
|
| A59: NameExpr b1 |
| 14:5-14:6 |
| defAt: A7 @ 5:8-5:13 |
|
|
|
| A60: NameExpr b2 |
| 14:11-14:12 |
| defAt: A9 @ 5:16-5:21 |
|
|
|
|
|
|
|
|
|
|