parameters: (self)
return_statement: return _to_sort_ref(Z3_get_range(self.ctx_ref(), self.ast), self.ctx)
docstring: Return the sort of the range of a function declaration.
          For constants, this is the sort of the constant.
  
          >>> f = Function('f', IntSort(), RealSort(), BoolSort())
          >>> f.range()
          Bool
docstring_summary: Return the sort of the range of a function declaration.
          For constants, this is the sort of the constant.
docstring_tokens: Return the sort of the range of a function declaration . For constants this is the sort of the constant .
function: def range(self):
          """Return the sort of the range of a function declaration.
          For constants, this is the sort of the constant.
  
          >>> f = Function('f', IntSort(), RealSort(), BoolSort())
          >>> f.range()
          Bool
          """
          return _to_sort_ref(Z3_get_range(self.ctx_ref(), self.ast), self.ctx)
function_tokens: def range ( self ) : return _to_sort_ref ( Z3_get_range ( self . ctx_ref ( ) , self . ast ) , self . ctx )