signature TEXT structure Text : TEXT where Char = Char and String = String and Substring = Substring and CharVector = CharVector and CharArray = CharArray structure WideText : TEXT where Char = WideChar and String = WideString and Substring = WideSubstring and CharVector = WideCharVector and CharArray = WideCharArray
An extended version of the Standard ML Basis' TEXT signature.
See also: CHAR, STRING, SUBSTRING, MONO_VECTOR, MONO_ARRAY
Imported implicitly.
signature TEXT = sig structure Char : CHAR structure String : STRING where type char = Char.t and type string = Char.string structure Substring : SUBSTRING where type char = Char.t and type string = String.t structure CharVector : MONO_VECTOR where type elem = Char.t and type vector = String.t structure CharArray : MONO_ARRAY where type elem = Char.t and type vector = String.t end
Like the Standard ML Basis' TEXT signature.