module CCBatch: sig .. end

Batch Operations on Collections

Define and combine operations on a collection of elements, then run the composition of those operations on some collection. The composition is optimized to minimize the number of intermediate collections

module type COLLECTION = sig .. end

module type S = sig .. end

module Make (C : COLLECTION) : S  with type 'a t = 'a C.t