module Map_Lattice:Undocumented. Do not use this module if you don't know what you are doing.sig
..end
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
) ->