Module `Domains.Product`

module 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

Module Domains.Product

Module `Domains.Product`