Top.TOPDIRS
The type for Topdir module implementations.
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