links

The Links Programming Language
IN THIS PACKAGE

Strings

val string_of_char : char -> string
val string_of_alist : (string * string) list -> string
val split_string : string -> char -> string list
val split : char -> string -> string list
val explode : string -> char list
val is_numeric : string -> bool
val implode : char list -> string
val contains : ( char -> bool ) -> string -> bool
val find_char : bytes -> char -> int list
val mapstrcat : string -> ( 'a -> string ) -> 'a list -> string
val string_starts_with : string -> string -> bool
val start_of : is:string -> string -> bool
val end_of : is:string -> string -> bool
val count : char -> string -> int
val replace : string -> string -> string -> string