Method __neg__

lean_py/z3/core.py:518–523

(self)

        return isinstance(self._sort._ast_sort, RealASTSort)

    def __neg__(self) -> ArithRef:
        return ArithRef(
            UnOpNode(UnOp.NEG, self._ast),
            self._sort,  # type: ignore[arg-type]
            self._vars,
        )

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