Module Iteration

module Iteration: sig .. end

module type PreDomain = sig .. end

module type Domain = sig .. end

module type DomainPlus = sig .. end

module WedgeVector: DomainPlus 

module WedgeVectorOCRS: DomainPlus 

module WedgeMatrix: DomainPlus 

module Split: 
functor (Iter : DomainPlus) -> Domain 

module Sum: 
functor (A : PreDomain) -> 
functor (B : PreDomain) -> sig .. end