Domains.ProductSourcemodule Make
(P1 : Sig.BASE)
(P2 : Sig.BASE) :
Sig.BASE
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