module MapReduce: sig .. end
Map/reduce computations.
module type Computation = sig .. end
Description of a computation.
module type S = sig .. end
Signature of a map/reduce computation.
module Make: functor (C : Computation ) -> S with type input = C.input and type output = C.output
Builds a map/reduce implementation for the passed computation.