def test_group_with_prefix(): g = group(Ta) given = Pair(v(Nb), v(Na)) after = Pair([Nb, Node(g, [Na])], []) assert g(given) == after
def test_group(): g = group(Ta) given = prepare([Na]) after = Pair([Node(g, [Na])], []) assert g(given) == after