Provides generic signatures for containers that support indexed iteration (iteri,
foldi, ...). In principle, any container that has iter can also implement iteri,
but the idea is that Indexed_container_intf should be included only for containers
that have a meaningful underlying ordering.
module type S1 = Base__.Indexed_container_intf.S1Generic definitions of foldi and iteri in terms of fold.
E.g., iteri ~fold t ~f = ignore (fold t ~init:0 ~f:(fun i x -> f i x; i + 1)).
val foldi : fold:('t, 'a, 'accum) Base__.Indexed_container_intf.fold ‑> ('t, 'a, 'accum) Base__.Indexed_container_intf.foldival iteri : fold:('t, 'a, int) Base__.Indexed_container_intf.fold ‑> ('t, 'a) Base__.Indexed_container_intf.iteriGeneric definitions of indexed container operations in terms of foldi.
val counti : foldi:('t, 'a, int) Base__.Indexed_container_intf.foldi ‑> 't ‑> f:(int ‑> 'a ‑> bool) ‑> intGeneric definitions of indexed container operations in terms of iteri.
val existsi : iteri:('t, 'a) Base__.Indexed_container_intf.iteri ‑> 't ‑> f:(int ‑> 'a ‑> bool) ‑> boolval for_alli : iteri:('t, 'a) Base__.Indexed_container_intf.iteri ‑> 't ‑> f:(int ‑> 'a ‑> bool) ‑> boolval findi : iteri:('t, 'a) Base__.Indexed_container_intf.iteri ‑> 't ‑> f:(int ‑> 'a ‑> bool) ‑> (int * 'a) optionval find_mapi : iteri:('t, 'a) Base__.Indexed_container_intf.iteri ‑> 't ‑> f:(int ‑> 'a ‑> 'b option) ‑> 'b option