changeset 810 | 91c68f74f458 |
parent 515 | abcc438e7c27 |
child 1401 | 0c439768f45c |
809:1daa0269eb5d | 810:91c68f74f458 |
---|---|
6 Example of a BIG enumeration type |
6 Example of a BIG enumeration type |
7 |
7 |
8 Can go up to at least 100 constructors, but it takes nearly 7 minutes... |
8 Can go up to at least 100 constructors, but it takes nearly 7 minutes... |
9 *) |
9 *) |
10 |
10 |
11 Enum = Univ + "Datatype" + |
11 Enum = Datatype + |
12 |
12 |
13 consts |
13 consts |
14 enum :: "i" |
14 enum :: "i" |
15 |
15 |
16 datatype |
16 datatype |