Module type Lattice_type.Lattice_Base

module type Lattice_Base = sig .. end

type l 
type t = private 
| Top
| Bottom
| Value of l
exception Error_Top
exception Error_Bottom
include Lattice_type.AI_Lattice_with_cardinal_one
val project : t -> l
val inject : l -> t
val transform : (l ->
l -> l) ->
t ->
t -> t