package coq-lsp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val coqlib : Stdlib.String.t Cmdliner.Term.t
val coqcorelib : Stdlib.String.t Cmdliner.Term.t
val findlib_config : Stdlib.String.t option Cmdliner.Term.t
val ocamlpath : Stdlib.String.t list Cmdliner.Term.t
val rload_paths : Loadpath.vo_path Stdlib.List.t Cmdliner.Term.t
val qload_paths : Loadpath.vo_path Stdlib.List.t Cmdliner.Term.t
val debug : Stdlib.Bool.t Cmdliner.Term.t
val bt : Stdlib.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
OCaml

Innovation. Community. Security.