package vsrocq-language-server

You can search for identifiers within the package.

in-package search v0.2.0

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

package vsrocq-language-server

Module Dm.SearchQuerySource

Module `Dm.SearchQuery`Source