sig   type t   val narrow :     Lattice_type.With_Narrow.t ->     Lattice_type.With_Narrow.t -> Lattice_type.With_Narrow.t end