Lines Matching defs:loop
292 fun loop (x as ((path, ty), tm), es, hs) =
316 dn @ List.concat (List.map loop nd)
319 ListPair.unzip (loop ((([], state_ty), s), expnd, hide))
716 fun loop modified x =
717 fn [] => if modified then loop false x l1 else x
720 NONE => loop modified x r
721 | SOME m => loop true (b_assert ((d, m), x)) l)
722 val (a, tm) = read_extra (loop false x l1) extras
831 fun loop (p, q, tm) =
839 loop (p', q', rst)
846 loop (l2 @ p, l @ q, rst)
852 loop