Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature TEXT = |
2 | sig | |
3 | structure Char: CHAR | |
4 | structure CharArray: MONO_ARRAY | |
5 | structure CharArraySlice: MONO_ARRAY_SLICE | |
6 | structure CharVector: MONO_VECTOR | |
7 | structure CharVectorSlice: MONO_VECTOR_SLICE | |
8 | structure String: STRING | |
9 | structure Substring: SUBSTRING | |
10 | sharing type Char.char | |
11 | = CharArray.elem | |
12 | = CharArraySlice.elem | |
13 | = CharVector.elem | |
14 | = CharVectorSlice.elem | |
15 | = String.char | |
16 | = Substring.char | |
17 | sharing type Char.string | |
18 | = CharArraySlice.vector | |
19 | = CharVector.vector | |
20 | = CharArray.vector | |
21 | = CharVectorSlice.vector | |
22 | = String.string | |
23 | = Substring.string | |
24 | sharing type CharArray.array = CharArraySlice.array | |
25 | sharing type CharVectorSlice.slice = CharArraySlice.vector_slice | |
26 | end |