Lines Matching refs:swap
188 fun bubble is_op swap inv tm =
200 else REWR_CONV swap THENC RAND_CONV (bubble is_op swap inv)
203 fun sort is_op swap inv tm =
205 else RAND_CONV (sort is_op swap inv) THENC bubble is_op swap inv) tm;
207 fun permute is_op assoc rid swap inv =
210 THENC sort is_op swap inv;
212 fun permute_conv is_op assoc rid swap inv tm =
213 (if is_op tm then permute is_op assoc rid swap inv else NO_CONV) tm;