Module type Lattice_type.Lattice_UProduct

module type Lattice_UProduct = sig .. end
Signature for a product lattice (see Abstract_interp.Make_Lattice_UProduct).

type t1 
type t2 
type t = t1 * t2 
include Lattice_type.AI_Lattice_with_cardinal_one