Lines Matching defs:loop
89 fun loop a =92 SOME (x, y) => loop (x :: a) y95 fun rev_endian l = List.concat (loop [] l)176 fun loop a l =178 else loop (List.map List.hd l::a) (List.map List.tl l)180 loop []926 fun loop a t =941 loop (loop a (REWR_RULE (s b splitx) t))946 loop []