Type Alias PredicateSearcher 

pub type PredicateSearcher<'tcx> = PredicateSearcher<'tcx, DefId>;

Aliased Type

pub struct PredicateSearcher<'tcx> { /* private fields */ }