code: def zrevrange(self, key, start, stop, withscores=False, encoding=_NOTSET):
          
          if not isinstance(start, int):
              raise TypeError("start argument must be int")
          if not isinstance(stop, int):
              raise TypeError("stop argument must be int")
          if withscores:
              args = [b'WITHSCORES']
          else:
              args = []
          fut = self.execute(b'ZREVRANGE', key, start, stop, *args,
                             encoding=encoding)
          if withscores:
              return wait_convert(fut, pairs_int_or_float)
          return fut
docs: Return a range of members in a sorted set, by index,
          with scores ordered from high to low.
  
          :raises TypeError: if start or stop is not int