sig   val dir_directory : string -> unit   val dir_remove_directory : string -> unit   val dir_use : Format.formatter -> string -> unit   val dir_load : Format.formatter -> string -> unit end