Up – Package index » vscoq-language-server » Library vscoq-language-server.language » Language » Hover

Module `Language.Hover`Source

val get_hover_contents : 
  Environ.env ->
  Evd.evar_map ->
  Libnames.qualid Constrexpr.or_by_notation ->
  Lsp.Types.MarkupContent.t option