Functor Iteration.Sum

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

include Iteration.PreDomain

val left : 'a A.t -> 'a t

val right : 'a B.t -> 'a t