Functor Abstract_interp.Make_Lattice_UProduct

module Make_Lattice_UProduct: 
functor (L1 : Lattice_type.AI_Lattice_with_cardinal_one-> 
functor (L2 : Lattice_type.AI_Lattice_with_cardinal_one-> Lattice_UProduct with type t1 = L1.t and type t2 = L2.t
Uncollapsed product. Literally the set of (e1, e2) ordered pairs equipped with the order (e1, e2) < (d1, d2) <==> e1 < d1 && e2 < d2.
Parameters:
L1 : Lattice_type.AI_Lattice_with_cardinal_one
L2 : Lattice_type.AI_Lattice_with_cardinal_one