diff --git a/third_party/2and3/redis/client.pyi b/third_party/2and3/redis/client.pyi index f75ef686e..d6dab2cf9 100644 --- a/third_party/2and3/redis/client.pyi +++ b/third_party/2and3/redis/client.pyi @@ -242,14 +242,14 @@ class Redis(object): self, name: _Key, mapping: Mapping[_Key, _Str], nx: bool = ..., xx: bool = ..., ch: bool = ..., incr: bool = ... ) -> int: ... def zcard(self, name): ... - def zcount(self, name, min, max): ... + def zcount(self, name: _Key, min: _Str, max: _Str) -> int: ... def zincrby(self, name, value, amount=...): ... def zinterstore(self, dest, keys, aggregate=...): ... def zlexcount(self, name, min, max): ... def zrange(self, name, start, end, desc=..., withscores=..., score_cast_func=...): ... def zrangebylex(self, name, min, max, start=..., num=...): ... def zrangebyscore(self, name, min, max, start=..., num=..., withscores=..., score_cast_func=...): ... - def zrank(self, name, value): ... + def zrank(self, name: _Key, value: _Key) -> Optional[int]: ... def zrem(self, name, *values): ... def zremrangebylex(self, name, min, max): ... def zremrangebyrank(self, name, min, max): ...