package vscoq-language-server
VSCoq language server
Install
Dune Dependency
Authors
Maintainers
Sources
vscoq-language-server-2.2.4.tar.gz
md5=44ada383e4a3cb23d883eb720391e9db
sha512=e55ddda2beb5abbe5eb63c7ba6761b1f958dc4674178c4b5741082665d8ad15d481c978685dcf648afebb9b07abd95069347b8651f078d87820399f459e16f17
doc/vscoq-language-server.lsp/Protocol/ExtProtocol/Notification/Server/index.html
Module Notification.ServerSource
Source
type t = | Std of Lsp.Server_notification.t| UpdateHighlights of LspWrapper.overview| MoveCursor of MoveCursorParams.t| BlockOnError of BlockOnErrorParams.t| ProofView of ProofViewParams.t| CoqLogMessage of CoqLogMessageParams.t| SearchResult of LspWrapper.query_result