Functor Map_Lattice.Make

module Make: 
functor (K : Key) ->
functor (Top_Param : Lattice_type.Lattice_Hashconsed_Set with type O.elt=K.t) ->
functor (V : sig
type generic_widen_hint 
type size_widen_hint 
include Lattice_type.Full_AI_Lattice_with_cardinality
val pretty_debug : t Pretty_utils.formatter
end) ->
functor (Comp : sig
val e : bool
See Hptmap for the documentation of this option
val f : K.t -> V.t -> bool
val compose : bool -> bool -> bool
end) ->
functor (L : sig
val v : (K.t * V.t) list list
end) -> sig .. end
Parameters:
K : Key
Top_Param : Lattice_type.Lattice_Hashconsed_Set with type O.elt=K.t
V : sig type generic_widen_hint type size_widen_hint include Lattice_type.Full_AI_Lattice_with_cardinality with type widen_hint = size_widen_hint * generic_widen_hint val pretty_debug: t Pretty_utils.formatter end
Comp : sig (** See {!Hptmap} for the documentation of this option *) val e: bool val f : K.t -> V.t -> bool val compose : bool -> bool -> bool end
L : sig val v : (K.t * V.t) list list end

include struct ... end
type size_widen_hint = V.size_widen_hint 
type generic_widen_hint = K.t -> V.generic_widen_hint 
type widen_hint = size_widen_hint * generic_widen_hint 
val widen : V.size_widen_hint * (M.key -> V.generic_widen_hint) -> t -> t -> t
val find_lonely_binding : t -> M.key * M.v
if there is only one binding k -> v in map m (that is, only one key k and cardinal_zero_or_one v), returns the pair k,v.
Raises Not_found otherwise
val cardinal_zero_or_one : t -> bool
val cardinal_less_than : t -> int -> int
the cardinal of a map m is the sum of the cardinals of the values bound to a key in m
val fold_enum : (t -> 'a -> 'a) -> t -> 'a -> 'a
val diff_if_one : t -> t -> t