module type Lattice_Base = sig .. end
sig
end
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