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/Request/Client/SearchParams/index.html
Module Client.SearchParamsSource
Source
type t = {textDocument : Lsp.Types.VersionedTextDocumentIdentifier.t;position : LspWrapper.Position.t;pattern : string;id : string;
}