package vscoq-language-server

  1. Overview
  2. Docs
type completion_level =
  1. | Fully
  2. | Partially
  3. | No_completion
val symbol_prefix : completion_level option -> string
type completion_item = {
  1. ref : Names.GlobRef.t;
  2. path : Libnames.full_path;
  3. typ : Constr.types;
  4. env : Environ.env;
  5. sigma : Evd.evar_map;
  6. completes : completion_level option;
  7. mutable debug_info : string;
}
val mk_completion_item : Evd.evar_map -> Names.GlobRef.t -> Environ.env -> Constr.constr -> completion_item
val pp_completion_item : completion_item -> string * string * string * string
OCaml

Innovation. Community. Security.