for_se
Lib.for_se : int -> int -> (int -> unit) -> unit
Side-effecting 'for' loops.
An application for_se b t f is equal to (f b; f (b+1); ...; f t). If
b is greater than t, then for_se b t f does no evaluation, in
particular f b is not evaluated.
Failure
If f i fails for b <= i <= t.
Example
> let val A = Array.array(26,#" ")
in
for_se 0 25 (fn i => Array.update(A,i, Char.chr (i+97)))
; for_se 0 25 (Feedback.HOL_INFO o Char.toString o curry Array.sub A)
; Feedback.HOL_INFO "\n"
end;
abcdefghijklmnopqrstuvwxyz
val it = (): unit