Functor Abstract_interp.Make_Lattice_Base

module Make_Lattice_Base: 
functor (V : Lattice_type.Lattice_Value-> Lattice_Base with type l = V.t
Parameters:
V : Lattice_type.Lattice_Value