(left, right)
return left._values.new_integer().from_int(
        (~to_integer(left).to_int(unsigned=True)) | right.to_integer().to_int(unsigned=True),
        unsigned=True)
Bitwise implication.
Bitwise implication.
Bitwise implication .
def imp_(left, right):
    """Bitwise implication."""
    return left._values.new_integer().from_int(
        (~to_integer(left).to_int(unsigned=True)) | right.to_integer().to_int(unsigned=True),
        unsigned=True)
def imp_ ( left , right ) : return left . _values . new_integer ( ) . from_int ( ( ~ to_integer ( left ) . to_int ( unsigned = True ) ) | right . to_integer ( ) . to_int ( unsigned = True ) , unsigned = True )