Functor Lmap_sig.Make_Narrow

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

val narrow : t -> t -> t