Module Domains.Prod_domain

module type S = Domain_sig.Base