Module M.String

v s constructs a string term from the string s.

length t constructs the length of the string term t.

to_code t constructs the Unicode code point of the first character in the string term t.

of_code t constructs a string term from the Unicode code point t.

to_int t converts the string term t to an integer term.

of_int t converts the integer term t to a string term.

to_re t converts the string term t to a regular expression term.

at t ~pos constructs the character at position pos in the string term t.

concat ts constructs the concatenation of a list of string terms ts.

contains t ~sub checks if the string term t contains the substring sub.

is_prefix t ~prefix checks if the string term t starts with the prefix prefix.

is_suffix t ~suffix checks if the string term t ends with the suffix suffix.

in_re t re checks if the string term t matches the regular expression re.

lt t1 t2 constructs the less-than relation between string terms t1 and t2.

le t1 t2 constructs the less-than-or-equal relation between string terms t1 and t2.

sub t ~pos ~len constructs the substring of t starting at pos with length len.

index_of t ~sub ~pos constructs the index of the first occurrence of sub in t starting at pos.

replace t ~pattern ~with_ constructs the string term resulting from replacing pattern with with_ in t.

replace_all t ~pattern ~with_ constructs the string term resulting from replacing all occurrences of pattern with with_ in t.

replace_re t ~pattern ~with_ constructs the string term resulting from replacing the first occurrence of the regular expression pattern with with_ in t.

replace_re_all t ~pattern ~with_ constructs the string term resulting from replacing all occurrences of the regular expression pattern with with_ in t.