Module type Eva_lattice_type.Full_AI_Lattice_with_cardinality

module type Full_AI_Lattice_with_cardinality = sig .. end

Most complete lattices: all operations plus widening, notion of cardinal (including enumeration) and difference.


include Eva_lattice_type.AI_Lattice_with_cardinal_one
include Eva_lattice_type.With_Diff
include Eva_lattice_type.With_Diff_One
include Eva_lattice_type.With_Enumeration