module Make: functor (
K
:
Key
) ->
functor (
Top_Param
:
Lattice_type.Lattice_Hashconsed_Set
with type O.elt=K.t
) ->
functor (
V
:
sig
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
include struct ... end
type
widen_hint = K.t -> V.widen_hint
val widen : (K.t -> V.widen_hint) -> tt -> tt -> tt
val find_lonely_binding : tt -> M.key * V.t
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 : tt -> 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 : (tt -> 'a -> 'a) -> tt -> 'a -> 'a
val diff_if_one : tt -> tt -> tt