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