for_se : int -> int -> (int -> unit) -> unit
STRUCTURE
SYNOPSIS
Side-effecting ‘for’ loops.
DESCRIPTION
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 (print o Char.toString o curry Array.sub A)
   ; print "\n"
  end;

abcdefghijklmnopqrstuvwxyz
> val it = () : unit

SEEALSO
HOL  Kananaskis-13