Index of values


C
contains_substring [Xstr_search]
contains_substring s substr: true iff substr occurs in s
contains_substring_from [Xstr_search]
contains_substring_from s k_left substr: true iff substr occurs in s at index k_left or later

F
found_string_of_var [Xstr_match]

I
index_of_substring [Xstr_search]
index_of_substring s substr: finds the leftmost index where 'substr' occurs within s or raises Not_found.
index_of_substring_from [Xstr_search]
index_of_substring_from s k_left substr: finds the leftmost index >= k_left where 'substr' occurs within s or raises Not_found.
indexlist_of_substring [Xstr_search]
indexlist_of_substring s substr: Returns a list of all indexes of substrings substr in s

M
match_string [Xstr_match]
mknegset [Xstr_match]
mkset [Xstr_match]

R
rcontains_substring_from [Xstr_search]
rcontains_substring_from s k_right substr: true iff substr occurs in s at index k_right or earlier
replace_char [Xstr_search]
replace_char s rule: replaces characters in s according to rule.
replace_matched_substrings [Xstr_match]
replace_substring [Xstr_search]
replace_substring s substrlist rule: replaces all occurences of substrings in 's' which are enumerated in 'substrlist' by applying 'rule'.
rev_concat [Xstr_search]
rev_concat s l = String.concat s (List.rev l)
rindex_of_substring [Xstr_search]
eindex_of_substring s substr: finds the rightmost index where 'substr' occurs within s or raises Not_found.
rindex_of_substring_from [Xstr_search]
eindex_of_substring_from s k_right substr: finds the rightmost index <= k_right where 'substr' occurs within s or raises Not_found.

S
split_string [Xstr_split]
string_of_var [Xstr_match]

V
var [Xstr_match]
var_matched [Xstr_match]