| changeset 2322 | 24de7e548094 |
| parent 2320 | d835a2771608 |
| child 2336 | f2d545b77b31 |
| 2321:e9b0728061a8 | 2322:24de7e548094 |
|---|---|
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 = 13]] |
11 declare [[STEPS = 14]] |
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 = |