Merge pull request #34 from catch22/patch-2

Update random.pyi
This commit is contained in:
Matthias Kramm
2015-12-30 13:21:23 -08:00

View File

@@ -39,7 +39,7 @@ class Random(_random.Random):
def weibullvariate(self, alpha: float, beta: float) -> float: ...
# SystemRandom is not implemented for all OS's; good on Windows & Linux
class SystemRandom:
class SystemRandom(Random):
def __init__(self, randseed: object = ...) -> None: ...
def random(self) -> float: ...
def getrandbits(self, k: int) -> int: ...