Method __mul__

lean_py/z3/core.py:426–427

(self, other: object)

        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))

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