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