package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a extra_args_fn = opts:Coqargs.t -> string list -> 'a * string list
type (!'a, !'b) custom_toplevel = {
  1. parse_extra : 'a extra_args_fn;
  2. help : Usage.specific_usage;
  3. init : 'a -> opts:Coqargs.t -> 'b;
  4. run : 'a -> opts:Coqargs.t -> 'b -> unit;
  5. opts : Coqargs.t;
}
val start_coq : ('a, 'b) custom_toplevel -> unit
val init_color : Coqargs.coqargs_config -> unit
val init_toploop : Coqargs.t -> Vernac.State.t
type run_mode =
  1. | Interactive
  2. | Batch
val coqtop_toplevel : (run_mode, Vernac.State.t) custom_toplevel