Domains.Prod_domain
module type S = Domain_sig.Base
module Make
(P1 : S)
(P2 : S) :
S
with type Context.t = P1.Context.t * P2.Context.t
and type binary = P1.binary * P2.binary
and type boolean = P1.boolean * P2.boolean
and type Query.Binary_Lattice.t =
P1.Query.Binary_Lattice.t * P2.Query.Binary_Lattice.t