module type Lattice_Base =sig
..end
type
l
type
t = private
| |
Top |
| |
Bottom |
| |
Value of |
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