Lines Matching refs:traverse
50 fun traverse t (rS, wS) =
53 val (rS1, wS1) = traverse M (rS, S.addList(wS, List.filter is_reg (strip_pair v)))
55 traverse N (rS1, wS1)
59 ((traverse N) o (traverse M) o (traverse J)) (rS, wS)
63 ((traverse N) o (traverse M)) (rS, wS)
67 ((traverse N) o (traverse M)) (rS, wS)
71 ((traverse N) o (traverse M)) (rS, wS)
77 val (rS', wS') = traverse body (S.empty tvarOrder, S.empty tvarOrder)