Module type Abstract_interp.Lattice_Base


module type Lattice_Base = sig .. end

type l 

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