Module Base__.Indexed_container_intf
type ('t, 'a, 'accum) fold= 't -> init:'accum -> f:('accum -> 'a -> 'accum) -> 'accumtype ('t, 'a, 'accum) foldi= 't -> init:'accum -> f:(int -> 'accum -> 'a -> 'accum) -> 'accumtype ('t, 'a) iteri= 't -> f:(int -> 'a -> unit) -> unit
module type S1 = sig ... endmodule type Make_arg = sig ... endmodule type Indexed_container = sig ... end