1 signature STRING_GLOBAL =
6 val ^ : string * string -> string
7 val concat: string list -> string
8 val explode: string -> char list
9 val implode: char list -> string
10 val size: string -> int
11 val str: char -> string
12 val substring: string * int * int -> string
20 val < : string * string -> bool
21 val <= : string * string -> bool
22 val > : string * string -> bool
23 val >= : string * string -> bool
24 val collate: (char * char -> order) -> string * string -> order
25 val compare: string * string -> order
26 val concatWith: string -> string list -> string
27 val extract: string * int * int option -> string
28 val fields: (char -> bool) -> string -> string list
29 val fromCString: String.string -> string option
30 val fromString: String.string -> string option
31 val isPrefix: string -> string -> bool
32 val isSubstring: string -> string -> bool
33 val isSuffix: string -> string -> bool
34 val map: (char -> char) -> string -> string
36 val scan: (Char.char, 'a) StringCvt.reader -> (string, 'a) StringCvt.reader
37 val sub: string * int -> char
38 val toCString: string -> String.string
39 val toString: string -> String.string
40 val tokens: (char -> bool) -> string -> string list
41 val translate: (char -> string) -> string -> string
44 signature STRING_EXTRA =
49 val unsafeFromArray: array -> string
51 val new: int * char -> string
52 val nullTerm: string -> string
53 val tabulate: int * (int -> char) -> string
54 val toLower: string -> string