Function prop::imply::to_or

source · [−]
pub fn to_or<A: DProp, B: DProp>(f: Imply<A, B>) -> Or<Not<A>, B>
Expand description

(a => b) => (¬a ∨ b).