Stog_base.MiscUtilities.
string_of_file filename returns the content of filename in the form of one string.
file_of_string ~file str creates a file named filename whose content is str.
Separate the given string according to the given list of characters.
strip_string s removes all leading and trailing spaces from the given string.
@cgname String.strip_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.
@cgname String.lowercase
list_chop n l returns the n first documents of list l or the whole list if n >= List.length l.
@cgname List.list_chop
is_prefix pattern s returns true if string s begins with pattern.
@cgname String.is_prefix
list_remove_doubles ?pred l remove doubles in the given list l, according to the optional equality function pred. Default equality function is (=).
@cgname List.list_remove_doubles
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.
@cgname String.opt_of_string
string_of_opt s_opt returns the empty string if s_opt = None or s if s_opt = Some s.
@cgname String.string_of_opt
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.