string_of_file filename returns the content of filename in the form of one string.

• raises Stdlib.Sys_error

  if the file could not be opened.

file_of_string ~file str creates a file named filename whose content is str.

• raises Stdlib.Sys_error

  if the file could not be opened.

Separate the given string according to the given list of characters.

• parameter keep_empty

  is false by default. If set to true, the empty strings between separators are kept.

strip_string s removes all leading and trailing spaces from the given string.

strip_blank_lines s works as strip_string, but only strips full blank lines, without touching spaces or tabulations.

lowercase s lowers the case of the given string, including accentuated characters.

list_chop n l returns the n first documents of list l or the whole list if n >= List.length l.

is_prefix pattern s returns true if string s begins with pattern.

list_remove_doubles ?pred l remove doubles in the given list l, according to the optional equality function pred. Default equality function is (=).

filename_extension filename returns extension of filename or "" if there is no extension.

opt_of_string s returns None if the string if empty (length is 0) or Some s.

string_of_opt s_opt returns the empty string if s_opt = None or s if s_opt = Some s.

Return mdification time of the given file, or None if the file does not exist.

path_under ~parent file returns the path to file from parent.

• raises Stdlib.Failure

  if parent is not a prefix of file.