def Implies(p, q, simplify=True): """Expression implication operator If *simplify* is ``True``, return a simplified expression. """ p = Expression.box(p).node q = Expression.box(q).node y = exprnode.impl(p, q) if simplify: y = y.simplify() return _expr(y)
def __rrshift__(self, other): other_node = self.box(other).node return _expr(exprnode.impl(other_node, self.node))