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