TOP_SWEEP_CONV : conv -> conv
# let tm = let pairup x i t = mk_pair(mk_var(x^string_of_int i,aty),t) in let mkpairs x = itlist (pairup x) (1--200) (mk_var(x,aty)) in mk_eq(mkpairs "x",mkpairs "y");; ...
# time (TOP_DEPTH_CONV(REWR_CONV PAIR_EQ)); ();;
# time (TOP_SWEEP_CONV(REWR_CONV PAIR_EQ)); ();;