Function prop::imply::modus_ponens

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

(a => b) ∧ a => b