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
val transform : (l ->
l -> l) ->
tt ->
tt -> tt