pub trait ExhaustiveDependentPairsYsGenerator<X: Clone, Y, J: Iterator<Item = Y>> { fn get_ys(&self, x: &X) -> J; }
A trait used by dependent-pairs structs.
Given a reference to an x, produces an iterator of ys.
x
ys
See LexDependentPairs and ExhaustiveDependentPairs.
LexDependentPairs
ExhaustiveDependentPairs