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
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
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
val default: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