Module ComSearch
val 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 -> Names.DirPath.t list Vernacexpr.search_restrictionval interp_search : Environ.env -> Evd.evar_map -> Vernacexpr.searchable -> Libnames.qualid list Vernacexpr.search_restriction -> unit