Module Map_Lattice

module Map_Lattice: sig .. end
Maps from abstract keys to abstract values, that are equipped with the natural lattice interpretation. Keys must be mappable to integers in an unique way.

module type Key = sig .. end
module Make: 
functor (K : Key) ->
functor (Top_Param : Lattice_Set with type O.elt=K.t) ->
functor (V : Abstract_interp.Lattice_With_Diff) ->
functor (L : sig
val v : (K.t * V.t) list list
end) ->
functor (Null_Behavior : sig
val zone : bool
end) -> sig .. end