Method __radd__

lean_py/z3/core.py:423–424

(self, other: object)

        return _bool_to_int(self).__add__(_coerce_arith_any(other))

    def __radd__(self, other: object) -> ArithRef:
        return _coerce_arith_any(other).__add__(_bool_to_int(self))

    def __mul__(self, other: object) -> ArithRef:
        return _bool_to_int(self).__mul__(_coerce_arith_any(other))