Function prop::queenity::in_left_arg

source · 
pub fn in_left_arg<A: Prop, B: Prop, C: Prop>(
    Sq: Sq<A, B>,
    (_, g1): Eq<A, C>
) -> Sq<C, B>
Expand description

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