module Map_Lattice:sig
..end
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
) ->