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`