module type Map_Lattice_with_cardinality =sig
..end
A notion of cardinality for maps with a complete lattice structure.
include Map_lattice.Lattice_with_cardinality
type
key
type
v
val find_lonely_key : t ->
key *
v
If t
is a singleton map binding k
to v
and t
is not a summary key,
then returns the pair (k,v).
Not_found
otherwise.val find_lonely_binding : t ->
key *
v
If t
is a singleton map binding k
to v
, if t
is not a summary key,
and if cardinal_zero_or_one v
holds, returns the pair (k,v).
Not_found
otherwise.