| changeset 2313 | 25d2cdf7d7e4 |
| parent 2312 | ad03df7e8056 |
| child 2314 | 1a14c4171a51 |
| 2312:ad03df7e8056 | 2313:25d2cdf7d7e4 |
|---|---|
6 |
6 |
7 atom_decl var |
7 atom_decl var |
8 atom_decl cvar |
8 atom_decl cvar |
9 atom_decl tvar |
9 atom_decl tvar |
10 |
10 |
11 declare [[STEPS = 10]] |
11 declare [[STEPS = 11]] |
12 |
12 |
13 nominal_datatype tkind = |
13 nominal_datatype tkind = |
14 KStar |
14 KStar |
15 | KFun "tkind" "tkind" |
15 | KFun "tkind" "tkind" |
16 and ckind = |
16 and ckind = |