Domains.Domains_constraints_product
module Make
(Constraints : Constraints.Constraints_sig.Constraints)
(A : Constraint_domains_sig.Domain_S with module Constraints = Constraints)
(B : Constraint_domains_sig.Domain_S with module Constraints = Constraints) :
Constraint_domains_sig.Domain_S with module Constraints = Constraints