module Make: functor (K : Key) -> functor (Top_Param : Lattice_type.Lattice_Hashconsed_Set with type O.elt=K.t) -> functor (V : sig
type
type
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 V.size_widen_hint
type K.t -> V.generic_widen_hint
type 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