parameters: (self)
return_statement: return ArithRef(Z3_mk_unary_minus(self.ctx_ref(), self.as_ast()), self.ctx)
docstring: Return an expression representing `-self`.
  
          >>> x = Int('x')
          >>> -x
          -x
          >>> simplify(-(-x))
          x
docstring_summary: Return an expression representing `-self`.
docstring_tokens: Return an expression representing - self .
function: def __neg__(self):
          """Return an expression representing `-self`.
  
          >>> x = Int('x')
          >>> -x
          -x
          >>> simplify(-(-x))
          x
          """
          return ArithRef(Z3_mk_unary_minus(self.ctx_ref(), self.as_ast()), self.ctx)
function_tokens: def __neg__ ( self ) : return ArithRef ( Z3_mk_unary_minus ( self . ctx_ref ( ) , self . as_ast ( ) ) , self . ctx )