Up – Package index » vsrocq-language-server » Library vsrocq-language-server.lsp » Protocol » ExtProtocol » Notification » Server

Module `Notification.Server`Source

Sourcemodule MoveCursorParams : sig ... end

Sourcemodule BlockOnErrorParams : sig ... end

Sourcemodule ProofViewParams : sig ... end

Sourcemodule RocqLogMessageParams : sig ... end

Sourcetype t =

| Std of Lsp.Server_notification.t
| UpdateHighlights of LspWrapper.overview
| MoveCursor of MoveCursorParams.t
| BlockOnError of BlockOnErrorParams.t
| ProofView of ProofViewParams.t
| RocqLogMessage of RocqLogMessageParams.t
| SearchResult of LspWrapper.query_result

Sourceval to_jsonrpc : t -> Jsonrpc.Notification.t