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/ProofViewParams/index.html
Module Server.ProofViewParamsSource
Source
type t = {proof : ProofState.t option;messages : (LspWrapper.DiagnosticSeverity.t * Printing.pp) list;
}