Function prop::eq::imply_to_or_da

source · 
pub fn imply_to_or_da<A: DProp, B: Prop>() -> Eq<Imply<A, B>, Or<Not<A>, B>>
Expand description

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