def test_constructor():
assert Map({}) == Map.empty()
assert Map({1: 1}) == Map.add(my_map=Map.empty(), key=Z(1), value=Z(1))
assert Map({
1: 1,
-2: -2
}) == Map.add(my_map=Map.add(my_map=Map.empty(), key=Z(-2), value=Z(-2)),
key=Z(1),
value=Z(1))
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