Type Definition prop::quality::EqQ

source · 
pub type EqQ<A, B> = Imply<Eq<A, B>, Q<A, B>>;
Expand description

Lifts equality into quality (a == b) => (a ~~ b).