| changeset 2320 | d835a2771608 |
| parent 2316 | 08bbde090a17 |
| child 2322 | 24de7e548094 |
| 2319:7c8783d2dcd0 | 2320:d835a2771608 |
|---|---|
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 = 12]] |
11 declare [[STEPS = 13]] |
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 = |