(*
 * The simplest form of loop.  Cf. for.ml and while.ml.
 *)

fun loop(vars, body) =
    let
	val vars = body(vars)
    in
	loop(vars, body)
    end