Labels:black | darkness OCR: type effect string * string -> string concatenate strings collate (char*char->order)->string* string->order compare strings compare string * string -> order compare strings concat string list -> string concatenate list of strings explode string -> char list character list from string extract string * int * int option -> string get substring or tail fields (char -> bool) -> string -> string list find (possibly empty) fields fromCString string -> string option parse C escape sequences fromString string -> string option parse ML escape sequences implode char list -> string string from character list isPrefix string -> string -> bool prefix test maxSize int maximal size of a string size string -> int length of string str char -> string make one character string sub string * int -> char n'th character (0-based) substring string * int * int -> string get substring (s, first, len) toCString string -> string make C escape sequences toString string -> string make ML escape sequences tokens (char -> bool) -> string -> string list find (non-empty) tokens translate (char -> string) -> string -> string apply f and concatenate
