Function prop::imply::chain

source · 
pub fn chain<A: Prop, B: Prop, C: Prop>(
    f: Imply<And<A, B>, C>
) -> Imply<A, Imply<B, C>>
Expand description

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