Module type Map_lattice.Lattice_with_cardinality

module type Lattice_with_cardinality = sig .. end

Complete lattice as above, plus a notion of cardinality on the values.


include Lattice_type.With_Cardinal_One
include Lattice_type.With_Diff_One
include Lattice_type.With_Enumeration