Function un_algebra::logic::implies[−][src]

pub fn implies(x: bool, y: bool) -> bool

Test logical implication x => y.