Up  

Functor Map_lattice.Make_MapSet_Lattice.With_Cardinality

module With_Cardinality: 
functor (KVMap : Map_lattice.Map_Lattice_with_cardinality  with type t := KVMap.t
                                               and type key := Key.t
                                               and type v := Value.t) -> Map_lattice.MapSet_Lattice_with_cardinality  with type t := t
                                         and type key := Key.t
                                         and type v := Value.t
Parameters:
KVMap : Map_Lattice_with_cardinality with type t := KVMap.t and type key := Key.t and type v := Value.t 
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).