Method __le__

lean_py/z3/core.py:532–537

(self, other: ArithRef | int | float)

        )

    def __le__(self, other: ArithRef | int | float) -> BoolRef:
        other = _coerce_arith(other, self._sort)
        return BoolRef(
            BinOpNode(BinOp.LE, self._ast, other._ast),
            _merge(self._vars, other._vars),
        )

    def __gt__(self, other: ArithRef | int | float) -> BoolRef:
        other = _coerce_arith(other, self._sort)