Module Map_Lattice


module Map_Lattice: sig .. end
find_exclusive k m returns v if m contains only the binding k -> v
Raises Not_exclusive otherwise.

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