Functor Abstract_interp.Make_Lattice_Product

module Make_Lattice_Product: 
functor (L1 : Lattice_type.AI_Lattice_with_cardinal_one-> 
functor (L2 : Lattice_type.AI_Lattice_with_cardinal_one-> 
functor (C : Collapse-> Lattice_Product with type t1 = L1.t and type t2 = L2.t
If C.collapse then L1.bottom,_ = _,L2.bottom = bottom
Parameters:
L1 : Lattice_type.AI_Lattice_with_cardinal_one
L2 : Lattice_type.AI_Lattice_with_cardinal_one
C : Collapse