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