signature MLTON_ARRAY =
   sig
      val unfoldi: int * 'b * (int * 'b -> 'a * 'b) -> 'a array * 'b
   end
  • unfoldi (n, b, f)

    constructs an array a of length n, whose elements ai are determined by the equations b0 = b and (ai, bi+1) = f (i, bi).