Searched defs:PredicateSet (Results 1 – 1 of 1) sorted by relevance
18 pub struct PredicateSet<'tcx> { struct23 impl<'tcx> PredicateSet<'tcx> { implementation43 impl<'tcx> Extend<ty::Predicate<'tcx>> for PredicateSet<'tcx> { implementation