def Int(): a = Arbitrary() a.generator = Gen.sized(lambda n: Gen.choose(-n, n)) a.shrinker = lambda n: shrink_number(n) return a
def Bool(): a = Arbitrary() a.generator = Gen.elements([True, False]) return a