Functor Abstract_interp.Make_Lattice_Set

module Make_Lattice_Set: 
functor (V : Lattice_type.Lattice_Value) -> Lattice_Set with type O.elt=V.t
Parameters:
V : Lattice_type.Lattice_Value