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
14 = CharVectorSlice.elem
17 sharing type Char.string
18 = CharArraySlice.vector
21 = CharVectorSlice.vector
24 sharing type CharArray.array = CharArraySlice.array
25 sharing type CharVectorSlice.slice = CharArraySlice.vector_slice