示例#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
示例#2
0
def test_group():
    g = group(Ta)
    given = prepare([Na])
    after = Pair([Node(g, [Na])], [])
    assert g(given) == after