Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature BASIS_2002_TYPES = |
2 | sig | |
3 | (* Top-level types *) | |
4 | eqtype 'a array | |
5 | datatype bool = datatype bool | |
6 | eqtype char | |
7 | type exn | |
8 | eqtype int | |
9 | datatype 'a option = NONE | SOME of 'a | |
10 | datatype order = LESS | EQUAL | GREATER | |
11 | datatype list = datatype list | |
12 | datatype ref = datatype ref | |
13 | type real | |
14 | eqtype string | |
15 | type substring | |
16 | eqtype unit | |
17 | eqtype 'a vector | |
18 | eqtype word | |
19 | end |