module Lattice_type: sig
.. end
module type Join_Semi_Lattice = sig
.. end
module type Bounded_Join_Semi_Lattice = sig
.. end
module type With_Top = sig
.. end
module type With_Error_Top = sig
.. end
module type With_Error_Bottom = sig
.. end
module type With_Errors = sig
.. end
module type With_Narrow = sig
.. end
module type With_Under_Approximation = sig
.. end
module type With_Intersects = sig
.. end
module type With_Enumeration = sig
.. end
module type With_Diff = sig
.. end
module type With_Diff_One = sig
.. end
module type With_Cardinal_One = sig
.. end
module type With_Widening = sig
.. end
Common signatures
module type AI_Lattice_with_cardinal_one = sig
.. end
module type Full_Lattice = sig
.. end
Lattice with over- and under-approximation of join and meet, and
intersection and difference.
module type Full_AI_Lattice_with_cardinality = sig
.. end
Most complete lattices: all operations plus widening, notion of cardinal
(including enumeration) and difference.
Results of generic functors, in module Abstract_interp
.
module type Lattice_Value = Datatype.S_with_collections
Generic signature for the base elements of a lattice
module type Lattice_Product = sig
.. end
Signature for a product lattice in which Bottom
is handled especially.
module type Lattice_UProduct = sig
.. end
module type Lattice_Sum = sig
.. end
module type Lattice_Base = sig
.. end
module type Lattice_Set_Generic = sig
.. end
module type Lattice_Set = sig
.. end
module type Lattice_Hashconsed_Set = sig
.. end