Functor Offsetmap_sig.Make_Narrow

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

include Lattice_type.With_Narrow