module type S1 = Base__Indexed_container_intf.S1val foldi : fold:('t -> init:'accum -> f:('accum -> 'a -> 'accum) -> 'accum) -> 't -> init:'accum -> f:(int -> 'accum -> 'a -> 'accum) -> 'accumval iteri : fold:('t -> init:int -> f:(int -> 'a -> int) -> int) -> 't -> f:(int -> 'a -> unit) -> unitval counti : foldi:('t -> init:int -> f:(int -> int -> 'a -> int) -> int) -> 't -> f:(int -> 'a -> bool) -> intval existsi : iteri:('t -> f:(int -> 'a -> unit) -> unit) -> 't -> f:(int -> 'a -> bool) -> boolval for_alli : iteri:('t -> f:(int -> 'a -> unit) -> unit) -> 't -> f:(int -> 'a -> bool) -> boolval findi : iteri:('t -> f:(int -> 'a -> unit) -> unit) -> 't -> f:(int -> 'a -> bool) -> (int * 'a) optionval find_mapi : iteri:('t -> f:(int -> 'a -> unit) -> unit) -> 't -> f:(int -> 'a -> 'b option) -> 'b optionmodule Make : functor (T : sig ... end) -> S1 with type 'a t := 'a T.t