A standard ocaml string.

is_prefix a b Is a a prefix of b?

is_suffix a b Is a a suffix of b?

reverse s reverses the string s.

compare s1 s2 Compare the strings s1 and s2.

Return -1, if s1 is lexicographically smaller than s2 Return 0, if both string are equal Return +1, if s1 is lexicographically greater than s2

one c A string with the character c as the only character.

find p start str Find the position of the first character starting from start in the string str which satisfies the predicate p. If no character can be found return the length of the string.

has p start str Does the string str starting from position start have a character satisfying the predicate p?

find_bwd p beyond str Find the position of the first character before beyond in the string str which satisfies the predicate p. Return -1, if no character can be found.

list str Convert the string str to a list of characters.

of_list l Convert the list l of characters to a string.

length str The length of the string str.

get str i The ith character of the string str.

Precondition: 0 <= i && i < length str

sub str start len The substring of str starting at start with length len.

Precondition: 0 <= start <= start + len <= length str

concat sep str_list Concatenate the strings in the string list str_list and put the separator sep between them.

split_on_char c str Split the string str on each occurrence of the character c into a list of strings.

make n c Make a string with n copies of the character c.

init n f Make a string of length n where the ith character is f i.

Conversion of a string to a source of characters.

Conversion of a source of characters to a string.