Functor Map_lattice.Make_Map_Lattice.With_Cardinality

module With_Cardinality: functor (Value : Lattice_type.Full_AI_Lattice_with_cardinality  with type t := Value.t) -> Map_lattice.Map_Lattice_with_cardinality  with type t := t
                                      and type key := key
                                      and type v := v

Parameters:

Value : Lattice_type.Full_AI_Lattice_with_cardinality with type t := 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).
Raises Not_found otherwise.