MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / __mod__

Method __mod__

lean_py/z3/core.py:709–710  ·  view source on GitHub ↗
(self, other: BitVecRef | int)

Source from the content-addressed store, hash-verified

707 return self._binop(BinOp.SDIV, other)
708
709 def __mod__(self, other: BitVecRef | int) -> BitVecRef:
710 return self._binop(BinOp.SMOD, other)
711
712 def __pos__(self) -> BitVecRef:
713 return self

Callers

nothing calls this directly

Calls 1

_binopMethod · 0.95

Tested by

no test coverage detected