Function prop::imply::transitivity

source[−]
pub fn transitivity<A: Prop, B: Prop, C: Prop>(
    f: Imply<A, B>, 
    g: Imply<B, C>
) -> Imply<A, C>
Expand description

a => b ∧ b => c => a => c.