sig
  type t
  val diff_if_one :
    Eva_lattice_type.With_Diff_One.t ->
    Eva_lattice_type.With_Diff_One.t ->
    Eva_lattice_type.With_Diff_One.t Lattice_bounds.or_bottom
end