module Make_Lattice_Base: functor (V : Lattice_type.Lattice_Value) -> Lattice_Base with type l = V.t
functor (
V
:
Lattice_type.Lattice_Value
) ->
Lattice_Base
with type l = V.t