package vscoq-language-server

  1. Overview
  2. Docs
module MoveCursorParams : sig ... end
module BlockOnErrorParams : sig ... end
module ProofViewParams : sig ... end
module CoqLogMessageParams : sig ... end
type t =
  1. | Std of Lsp.Server_notification.t
  2. | UpdateHighlights of LspWrapper.overview
  3. | MoveCursor of MoveCursorParams.t
  4. | BlockOnError of BlockOnErrorParams.t
  5. | ProofView of ProofViewParams.t
  6. | CoqLogMessage of CoqLogMessageParams.t
  7. | SearchResult of LspWrapper.query_result
val to_jsonrpc : t -> Jsonrpc.Notification.t
OCaml

Innovation. Community. Security.