package vscoq-language-server

  1. Overview
  2. Docs
type t = {
  1. enable : bool;
    (*

    Sets whether diagnostics like errors and highlighting are sent to the client at all.

    *)
  2. full : bool;
}
OCaml

Innovation. Community. Security.