Function prop::eq::eq_left

pub fn eq_left<A: Prop, B: Prop, C: Prop>(x: Eq<A, B>) -> Eq<Eq<A, C>, Eq<B, C>>

(a == b) => (a == c) == (b == c).