Module Map_Lattice

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