Exemplo n.º 1
0
def test_group_with_prefix():
    g = group(Ta)
    given = Pair(v(Nb), v(Na))
    after = Pair([Nb, Node(g, [Na])], [])
    assert g(given) == after
Exemplo n.º 2
0
def test_group():
    g = group(Ta)
    given = prepare([Na])
    after = Pair([Node(g, [Na])], [])
    assert g(given) == after