module Map_Lattice:sig
..end
find_exclusive k m
returns v
if m
contains only the binding k
->
v
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
) ->