parameters: (self, other)
return_statement: return ArithRef(Z3_mk_power(self.ctx_ref(), b.as_ast(), a.as_ast()), self.ctx)
docstring: Create the Z3 expression `other**self` (** is the power operator).
  
          >>> x = Real('x')
          >>> 2**x
          2**x
          >>> (2**x).sort()
          Real
          >>> simplify(2**IntVal(8))
          256
docstring_summary: Create the Z3 expression `other**self` (** is the power operator).
docstring_tokens: Create the Z3 expression other ** self ( ** is the power operator ) .
function: def __rpow__(self, other):
          """Create the Z3 expression `other**self` (** is the power operator).
  
          >>> x = Real('x')
          >>> 2**x
          2**x
          >>> (2**x).sort()
          Real
          >>> simplify(2**IntVal(8))
          256
          """
          a, b = _coerce_exprs(self, other)
          return ArithRef(Z3_mk_power(self.ctx_ref(), b.as_ast(), a.as_ast()), self.ctx)
function_tokens: def __rpow__ ( self , other ) : a , b = _coerce_exprs ( self , other ) return ArithRef ( Z3_mk_power ( self . ctx_ref ( ) , b . as_ast ( ) , a . as_ast ( ) ) , self . ctx )