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
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
