Function implies

pub fn implies(lhs: bool, rhs: impl Fn() -> bool) -> bool