Function prop::quality::to_eq

pub fn to_eq<A: Prop, B: Prop>(Q: Q<A, B>) -> Eq<A, B>

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