package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
val prelude : string Cmdliner.Term.t
val require_lib : string option Cmdliner.Term.t
val str_pp : bool Cmdliner.Term.t
val de_bruijn : bool Cmdliner.Term.t
val body : bool Cmdliner.Term.t
val async : string option Cmdliner.Term.t
val quick : bool Cmdliner.Term.t
val async_full : bool Cmdliner.Term.t
val deep_edits : bool Cmdliner.Term.t
val async_workers : int Cmdliner.Term.t
val error_recovery : bool Cmdliner.Term.t
val implicit_stdlib : bool Cmdliner.Term.t
val debug : bool Cmdliner.Term.t
val print0 : bool Cmdliner.Term.t
val length : bool Cmdliner.Term.t
val rload_path : Loadpath.vo_path list Cmdliner.Term.t
val load_path : Loadpath.vo_path list Cmdliner.Term.t
val ml_include_path : string list Cmdliner.Term.t
val no_init : bool Cmdliner.Term.t
val topfile : string option Cmdliner.Term.t
val no_prelude : bool Cmdliner.Term.t
val set_impredicative_set : bool Cmdliner.Term.t
val disallow_sprop : bool Cmdliner.Term.t
val indices_matter : bool Cmdliner.Term.t
type comp_mode =
  1. | C_parse
  2. | C_stats
  3. | C_print
  4. | C_sexp
  5. | C_check
  6. | C_vo
  7. | C_env
val comp_mode : comp_mode Cmdliner.Term.t
type comp_input =
  1. | I_vernac
  2. | I_sexp
val comp_input : comp_input Cmdliner.Term.t
val omit_loc : bool Cmdliner.Term.t
val omit_att : bool Cmdliner.Term.t
val exn_on_opaque : bool Cmdliner.Term.t
val omit_env : bool Cmdliner.Term.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct