Functor Abstract_interp.Make_Lattice_Base


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

type l 

type tt = private
| Top
| Bottom
| Value of l
include Abstract_interp.Lattice
val project : t -> l
val inject : l -> t