| changeset 2950 | 0911cb7bf696 |
| parent 2616 | dd7490fdd998 |
| child 3059 | f6275afb868a |
| child 3071 | 11f6a561eb4b |
| 2949:adf22ee09738 | 2950:0911cb7bf696 |
|---|---|
13 |
13 |
14 nominal_datatype multi_recs: exp = |
14 nominal_datatype multi_recs: exp = |
15 Var name |
15 Var name |
16 | Unit |
16 | Unit |
17 | Pair exp exp |
17 | Pair exp exp |
18 | LetRec l::"lrbs" e::"exp" bind (set) "bs l" in l e |
18 | LetRec l::"lrbs" e::"exp" binds (set) "bs l" in l e |
19 and lrb = |
19 and lrb = |
20 Assign name exp |
20 Assign name exp |
21 and lrbs = |
21 and lrbs = |
22 Single lrb |
22 Single lrb |
23 | More lrb lrbs |
23 | More lrb lrbs |