Module ComSearch

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