Module Reduced_product

module Reduced_product: sig .. end

module Make: 
functor (Val1 : Ai_sigs.Domain) ->
functor (Val2 : Ai_sigs.Domain) -> Ai_sigs.AbstractDomain