Module CCBatch

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
Definition of a Collection
module type S = sig .. end
Definition of a Batch operations
module Make (C : COLLECTION) : S  with type 'a t = 'a C.t
Functor