ComSearchval interp_search_request :
Environ.env ->
Evd.evar_map ->
(bool * Vernacexpr.search_request) ->
bool * Search.glob_search_requestval interp_search_restriction :
Libnames.qualid list Vernacexpr.search_restriction ->
Libnames.full_path list Vernacexpr.search_restrictionval interp_search :
Environ.env ->
Evd.evar_map ->
Vernacexpr.searchable ->
Libnames.qualid list Vernacexpr.search_restriction ->
unit