Module Notification.ServerSource

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