(* dir.mli - Don Yang (uguu.org) 04/23/06 *) (* Insert dependent directories for a list of directories *) val insert_dependents : string list -> string list (* Create a list of directories *) val create_forest : string list -> unit (* List a directory recursively *) val enumerate : string -> (string * Unix.stats) list (* List top level directory only *) val enumerate_no_recurse : string -> (string * Unix.stats) list (* Split list of (file, stat) pairs to two lists: first is the list of directories without attributes, second is the list of files with attributes. *) val split_file_list : (string * Unix.stats) list -> string list * (string * Unix.stats) list (* src dst (path, stat) list: Replace root directory of paths with a different root, throws exceptions if unsuccessful. *) val replace_root : string -> string -> (string * Unix.stats) list -> (string * Unix.stats) list