ComSearch
val interp_search : Environ.env -> Evd.evar_map -> Vernacexpr.searchable -> Vernacexpr.search_restriction -> unit