Module type Map_lattice.MapSet_Lattice_with_cardinality

module type MapSet_Lattice_with_cardinality = sig .. end

A notion of cardinality for mapset lattice.


include Map_lattice.Lattice_with_cardinality
type key 
type v 
val find_lonely_binding : t ->
key *
v

If t is a singleton map binding k to v, and if cardinal_zero_or_one v holds, returns the pair (k,v).