Method rmul

lean_py/z3/core.py:429–430 · view source on GitHub ↗

(self, other: object)

Source from the content-addressed store, hash-verified

427	return _bool_to_int(self).__mul__(_coerce_arith_any(other))
428
429	def __rmul__(self, other: object) -> ArithRef:
430	return _coerce_arith_any(other).__mul__(_bool_to_int(self))
431
432
433	class ArithRef(ExprRef):

nothing calls this directly

_coerce_arith_anyFunction · 0.85

_bool_to_intFunction · 0.85

__mul__Method · 0.45

no test coverage detected