sig
  val fold_left : ('a -> int -> 'a) -> 'a -> int -> 'a
  val iter : (unit -> unit) -> int -> unit
  val iteri : (int -> unit) -> int -> unit
end