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