12 |
|
|
13 |
val size : string -> int |
val size : string -> int |
14 |
val sub : (string * int) -> char |
val sub : (string * int) -> char |
|
val substring : (string * int * int) -> string |
|
15 |
val extract : (string * int * int option) -> string |
val extract : (string * int * int option) -> string |
16 |
val concat : string list -> string |
val substring : (string * int * int) -> string |
17 |
val ^ : (string * string) -> string |
val ^ : (string * string) -> string |
18 |
|
val concat : string list -> string |
19 |
|
val concatWith : string -> string list -> string |
20 |
val str : char -> string |
val str : char -> string |
21 |
val implode : char list -> string |
val implode : char list -> string |
22 |
val explode : string -> char list |
val explode : string -> char list |
32 |
val fields : (char -> bool) -> string -> string list |
val fields : (char -> bool) -> string -> string list |
33 |
|
|
34 |
val isPrefix : string -> string -> bool |
val isPrefix : string -> string -> bool |
35 |
|
val isSubstring : string -> string -> bool |
36 |
|
val isSuffix : string -> string -> bool |
37 |
val compare : (string * string) -> order |
val compare : (string * string) -> order |
38 |
val collate : ((char * char) -> order) -> (string * string) -> order |
val collate : ((char * char) -> order) -> (string * string) -> order |
39 |
|
|