functor (A : ArrayType) ->
  sig
    val for_iter : int -> int -> (A.elt -> 'a) -> A.t -> unit
    val for_fold : int -> int -> (A.elt -> 'a -> 'a) -> A.t -> 'a -> 'a
  end