module Make_Lattice_Set: functor (V : Lattice_type.Lattice_Value) -> Lattice_Set with type O.elt=V.t
functor (
V
:
Lattice_type.Lattice_Value
) ->
Lattice_Set
with type O.elt=V.t