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: |
|
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).
Not_found
otherwise.