Function prop::quality::aq_to_eq

pub fn aq_to_eq<A: Prop, B: Prop>((eq, _): Aq<A, B>) -> Eq<A, B>

Converts to equality (a ~¬~ b) => (a == b).