Exemplo n.º 1
0
def unify_comm(u, v, s):
    return unique_dict(unify_assoccomm(u, v, s, 11))
Exemplo n.º 2
0
def test_unique_dict():
    assert tuple(unique_dict(({1: 2}, {2: 3}))) == ({1: 2}, {2: 3})
    assert tuple(unique_dict(({1: 2}, {1: 2}))) == ({1: 2},)
Exemplo n.º 3
0
def unify_assoc(u, v, s):
    return unique_dict(unify_assoccomm(u, v, s, None))