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 : Stdlib.Format.formatter -> string -> unit
val dir_use : Stdlib.Format.formatter -> string -> unit
val dir_use_output : Stdlib.Format.formatter -> string -> unit
val dir_install_printer : Stdlib.Format.formatter -> Longident.t -> unit
val dir_remove_printer : Stdlib.Format.formatter -> Longident.t -> unit
val section_general : string
val section_run : string
val section_env : string
val section_print : string
val section_trace : string
val section_options : string
val section_undocumented : string
val load_file : Stdlib.Format.formatter -> string -> bool
  • deprecated