Python Z.zero示例

示例#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

示例#2

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

示例#3

def test_generator():
    assert List.empty()._generator == List.empty
    assert List.cons(tail=List.empty(), head=Z.zero())._generator == List.cons