| changeset 2424 | 621ebd8b13c4 |
| parent 2337 | b151399bd2c3 |
| child 2434 | 92dc6cfa3a95 |
| 2420:f2d4dae2a10b | 2424:621ebd8b13c4 |
|---|---|
4 |
4 |
5 section {*** Type Schemes ***} |
5 section {*** Type Schemes ***} |
6 |
6 |
7 atom_decl name |
7 atom_decl name |
8 |
8 |
9 declare [[STEPS = 15]] |
9 declare [[STEPS = 20]] |
10 |
10 |
11 nominal_datatype ty = |
11 nominal_datatype ty = |
12 Var "name" |
12 Var "name" |
13 | Fun "ty" "ty" |
13 | Fun "ty" "ty" |
14 and tys = |
14 and tys = |