Module type `Indexed_container_intf.Indexed_container`

module type S1 = S1

val foldi : fold:('t, 'a, 'accum) fold -> ('t, 'a, 'accum) foldi
val iteri : fold:('t, 'a, int) fold -> ('t, 'a) iteri

val counti : foldi:('t, 'a, int) foldi -> 't -> f:(int -> 'a -> bool) -> int

val existsi : iteri:('t, 'a) iteri -> 't -> f:(int -> 'a -> bool) -> bool
val for_alli : iteri:('t, 'a) iteri -> 't -> f:(int -> 'a -> bool) -> bool
val findi : iteri:('t, 'a) iteri -> 't -> f:(int -> 'a -> bool) -> (int * 'a) option
val find_mapi : iteri:('t, 'a) iteri -> 't -> f:(int -> 'a -> 'b option) -> 'b option

module Make : functor (T : Make_arg) -> S1 with type 'a t := 'a T.t