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