module Make_Narrow: functor (X : siginclude Lattice_type.With_Top include Lattice_type.With_Narrow end) -> sig .. end
functor (
X
:
sig
include Lattice_type.With_Top
include Lattice_type.With_Narrow
end
) ->
sig include Lattice_type.With_Top with type t := v include Lattice_type.With_Narrow with type t := v end