sig module Loop : sig val fold_left : f:('a -> int -> 'a) -> init:'a -> int -> 'a val iter : f:(unit -> 'a) -> int -> unit val iteri : f:(int -> 'a) -> int -> unit end end