(* path.mli - Don Yang (uguu.org) 04/16/06 *) (* Path separator character *) val separator : char val separator_str : string (* Modify string in-place, replacing path separator characters to use uniform separator characters. *) val replace_separator : string -> unit (* Split path string to list of components *) val split_to_parts : string -> string list (* Join list of path components to a single path string *) val join_parts : string list -> string (* Remove . and .. inside path string *) val normalize : string -> string (* src dst path: Replace root directory of path (src) with a different root (dst), returns empty string if unsuccessful. *) val replace_root : string -> string -> string -> string (* cwd path: Given two absolute paths, create relative path from first path to second path. *) val relative : string -> string -> string (* Build regular expression string to match path pattern. Returns regular expression string, and what type of enumeration is needed. *) type dir_enum_type = BASE_DIR | SUB_DIR | SINGLE_FILE val pattern_to_regexp : string -> string * dir_enum_type