Module Base__.Indexed_container_intf

This file has 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.

type ('t, 'a, 'accum) fold = 't ‑> init:'accum ‑> f:('accum ‑> 'a ‑> 'accum) ‑> 'accum

type ('t, 'a, 'accum) foldi = 't ‑> init:'accum ‑> f:(int ‑> 'accum ‑> 'a ‑> 'accum) ‑> 'accum

type ('t, 'a) iteri = 't ‑> f:(int ‑> 'a ‑> unit) ‑> unit

module type S1 : sig ... end

module type Make_arg : sig ... end

module type Indexed_container : sig ... end