parameters: (self, other)
return_statement: return ArithRef(_mk_bin(Z3_mk_add, b, a), self.ctx)
docstring: Create the Z3 expression `other + self`.
  
          >>> x = Int('x')
          >>> 10 + x
          10 + x
docstring_summary: Create the Z3 expression `other + self`.
docstring_tokens: Create the Z3 expression other + self .
function: def __radd__(self, other):
          """Create the Z3 expression `other + self`.
  
          >>> x = Int('x')
          >>> 10 + x
          10 + x
          """
          a, b = _coerce_exprs(self, other)
          return ArithRef(_mk_bin(Z3_mk_add, b, a), self.ctx)
function_tokens: def __radd__ ( self , other ) : a , b = _coerce_exprs ( self , other ) return ArithRef ( _mk_bin ( Z3_mk_add , b , a ) , self . ctx )