Module Domains.Domains_constraints_product