coq-lsp.coq
Coq.Args
Astdump_plugin
Example_plugin
Goaldumpl_plugin
Savevo_plugin
coq-lsp.fleche
coq-lsp.lang
coq-lsp.lsp
coq-lsp.petanque
coq-lsp.plugin
fleche_waterproof
petanque_json
val coqlib : String.t Cmdliner.Term.t
val coqcorelib : String.t Cmdliner.Term.t
val ocamlpath : String.t option Cmdliner.Term.t
val rload_paths : Loadpath.vo_path List.t Cmdliner.Term.t
val qload_paths : Loadpath.vo_path List.t Cmdliner.Term.t
val debug : Bool.t Cmdliner.Term.t
val bt : Bool.t Cmdliner.Term.t
val ml_include_path : string list Cmdliner.Term.t
val ri_from : (string option * string) list Cmdliner.Term.t
val int_backend : Limits.backend option Cmdliner.Term.t
val roots : string list Cmdliner.Term.t
val coq_diags_level : int Cmdliner.Term.t