sig type t val narrow : Eva_lattice_type.With_Narrow.t -> Eva_lattice_type.With_Narrow.t -> Eva_lattice_type.With_Narrow.t Bottom.Type.or_bottom end