Method __le__

lean_py/z3/core.py:729–734

(self, other: BitVecRef | int)

        )

    def __le__(self, other: BitVecRef | int) -> BoolRef:
        other = _coerce_bv(other, self._sort)
        return BoolRef(
            BinOpNode(BinOp.SLE, self._ast, other._ast),
            _merge(self._vars, other._vars),
        )

    def __gt__(self, other: BitVecRef | int) -> BoolRef:
        other = _coerce_bv(other, self._sort)