package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type toplevel = {
  1. load_obj : string -> unit;
  2. add_dir : string -> unit;
  3. ml_loop : unit -> unit;
}
val set_top : toplevel -> unit
val remove : unit -> unit
val is_ocaml_top : unit -> bool
val ocaml_toploop : unit -> unit
val add_ml_dir : string -> unit
val add_known_module : string -> unit
val module_is_known : string -> bool
val add_known_plugin : (unit -> unit) -> string -> unit
val init_known_plugins : unit -> unit
val declare_cache_obj : (unit -> unit) -> string -> unit
val declare_ml_modules : Vernacexpr.locality_flag -> string list -> unit
val print_ml_path : unit -> Pp.t
val print_ml_modules : unit -> Pp.t
val print_gc : unit -> Pp.t