Module type Map_lattice.Map_Lattice_with_cardinality

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).

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).