Module MapReduce

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.