module Map_Lattice: sig
.. end
Map from a set of keys to values (a Lattice_With_Diff
), equipped
with the natural lattice interpretation. Keys must be mappable to
integers in an unique way, and one of its elements (null
) is
singled out.
module type Key = sig
.. end
module Make_without_cardinal: 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
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