• en

Module Topdirs

val dir_quit : unit -> unit
val dir_directory : string -> unit
val dir_remove_directory : string -> unit
val dir_cd : string -> unit
val dir_load : Format.formatter -> string -> unit
val dir_use : Format.formatter -> string -> unit
val dir_install_printer : Format.formatter -> Longident.t -> unit
val dir_remove_printer : Format.formatter -> Longident.t -> unit
val dir_trace : Format.formatter -> Longident.t -> unit
val dir_untrace : Format.formatter -> Longident.t -> unit
val dir_untrace_all : Format.formatter -> unit -> unit
type 'a printer_type_new = Format.formatter -> 'a -> unit
type 'a printer_type_old = 'a -> unit
val load_file : Format.formatter -> string -> bool