Function implies

pub fn implies(lhs: impl Into<Prop>, rhs: impl Into<Prop>) -> Prop

The logical implication a ==> b.