module Map_lattice: sig
.. end
Maps equipped with a lattice structure.
module type Value = sig
.. end
module type Lattice = sig
.. end
Complete semi-bounded lattice with over- and under-approximation,
intersection and difference.
module type Lattice_with_cardinality = sig
.. end
Complete lattice as above, plus a notion of cardinality on the values.
module type Map_Lattice = sig
.. end
A map with a complete lattice structure.
module type Map_Lattice_with_cardinality = sig
.. end
A notion of cardinality for maps with a complete lattice structure.
module type MapSet_Lattice = sig
.. end
A lattice structure on top of maps from keys to values and sets of keys.
module type MapSet_Lattice_with_cardinality = sig
.. end
A notion of cardinality for mapset lattice.
module Make_Map_Lattice:
Equips an Hptmap with a lattice structure, provided that the values
have a lattice structure.
module Make_MapSet_Lattice:
Builds a lattice mixing maps and sets, provided that each one has a lattice
structure.