def test_generator(): assert Map.empty()._generator == Map.empty assert Map.add(my_map=Map.empty(), key=Z.zero(), value=Z.zero())._generator == Map.add
def test_generator(): # because the Z.zero == Z.cons(pos=Nat(0), neg=Nat(0)) assert Z.zero()._generator == Z.cons assert Z.cons(pos=Nat(0), neg=Nat(0))._generator == Z.cons
def test_generator(): assert List.empty()._generator == List.empty assert List.cons(tail=List.empty(), head=Z.zero())._generator == List.cons