Functor Abstract_interp.Make_Lattice_Sum

module Make_Lattice_Sum: 
functor (L1 : Lattice_type.AI_Lattice_with_cardinal_one-> 
functor (L2 : Lattice_type.AI_Lattice_with_cardinal_one-> Lattice_Sum with type t1 = L1.t and type t2 = L2.t
Parameters:
L1 : Lattice_type.AI_Lattice_with_cardinal_one
L2 : Lattice_type.AI_Lattice_with_cardinal_one