package vscoq-language-server
VSCoq language server
Install
Dune Dependency
Authors
Maintainers
Sources
vscoq-language-server-2.2.3.tar.gz
md5=c8f21aebcdbc9a82201e0ae2ef27e381
sha512=aa520998f9d4a1f80327a584ddb9a3ad8cea3a846b45784231a4a29a1734d8deed0670ba66fabd097016641c619fd580e09f1da060bfdce4bf4275396d21a8b6
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;
}