package vscoq-language-server

  1. Overview
  2. Docs

Module Notification.ServerSource

Sourcemodule UpdateHighlightsParams : sig ... end
Sourcemodule MoveCursorParams : sig ... end
Sourcemodule ProofViewParams : sig ... end
Sourcetype t =
  1. | Std of Lsp.Server_notification.t
  2. | UpdateHighlights of UpdateHighlightsParams.t
  3. | MoveCursor of MoveCursorParams.t
  4. | ProofView of ProofViewParams.t
  5. | SearchResult of LspWrapper.query_result
Sourceval to_jsonrpc : t -> Jsonrpc.Notification.t