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
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
val default : 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 include Lattice_type.Full_AI_Lattice_with_cardinality 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 val default:bool end
L : sig val v : (K.t * V.t) list list end

include struct ... end
type widen_hint = K.t -> V.widen_hint 
val widen : (M.key -> V.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