Method __gt__

lean_py/z3/core.py:736–741

(self, other: BitVecRef | int)

        )

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

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