Method rmul

lean_py/z3/core.py:658–659 · view source on GitHub ↗

(self, other: int)

Source from the content-addressed store, hash-verified

656	return self._binop(BinOp.MUL, other)
657
658	def __rmul__(self, other: int) -> BitVecRef:
659	return _coerce_bv(other, self._sort)._binop(BinOp.MUL, self)
660
661	def __neg__(self) -> BitVecRef:
662	return BitVecRef(

nothing calls this directly

_coerce_bvFunction · 0.85

_binopMethod · 0.45

no test coverage detected