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.language/Language/Hover/index.html
Module Language.HoverSource
Source
val get_hover_contents :
Environ.env ->
Evd.evar_map ->
Libnames.qualid Constrexpr.or_by_notation ->
Lsp.Types.MarkupContent.t option