ComSearch (u.4b72d9d53197f808b005effa2cda4f29.coq-core.8.20.1.doc.coq-core.vernac.ComSearch)

val interp_search_request : 
  Environ.env ->
  Evd.evar_map ->
  (bool * Vernacexpr.search_request) ->
  bool * Search.glob_search_request

val interp_search_restriction : 
  Libnames.qualid list Vernacexpr.search_restriction ->
  Names.DirPath.t list Vernacexpr.search_restriction

val interp_search : 
  Environ.env ->
  Evd.evar_map ->
  Vernacexpr.searchable ->
  Libnames.qualid list Vernacexpr.search_restriction ->
  unit