Top.TOPDIRS
The type for Topdir module implementations.
val dir_directory : string -> unit
val dir_remove_directory : string -> unit
val dir_use : Stdlib.Format.formatter -> string -> unit
val dir_load : Stdlib.Format.formatter -> string -> unit