Module Map_Lattice


module Map_Lattice: sig .. end
Undocumented. Do not use this module if you don't know what you are doing.

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