module Make_Lattice_Base: functor (V : Value) -> Lattice_Base with type l = V.t
functor (
V
:
Value
) ->
Lattice_Base
with type l = V.t
type l
type tt = private
|
Top
Bottom
Value of l
l
include Abstract_interp.Lattice
val project : t -> l
t -> l
val inject : l -> t
l -> t