Up – Package index » vscoq-language-server » Library vscoq-language-server.dm » Dm » SearchQuery

Module `Dm.SearchQuery`Source

Sourceval query_feedback : Protocol.LspWrapper.notification Sel.Event.t

val interp_search : 
  id:string ->
  Environ.env ->
  Evd.evar_map ->
  (bool * Vernacexpr.search_request) list ->
  Libnames.qualid list Vernacexpr.search_restriction ->
  Protocol.LspWrapper.notification Sel.Event.t list