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