| changeset 2622 | e6e6a3da81aa |
| parent 2617 | e44551d067e6 |
| child 2630 | 8268b277d240 |
| 2621:02b24877be3e | 2622:e6e6a3da81aa |
|---|---|
3 begin |
3 begin |
4 |
4 |
5 section {*** Type Schemes ***} |
5 section {*** Type Schemes ***} |
6 |
6 |
7 atom_decl name |
7 atom_decl name |
8 |
|
9 |
8 |
10 (* defined as a single nominal datatype *) |
9 (* defined as a single nominal datatype *) |
11 |
10 |
12 nominal_datatype ty = |
11 nominal_datatype ty = |
13 Var "name" |
12 Var "name" |