sig type t val diff_if_one : Lattice_type.With_Diff_One.t -> Lattice_type.With_Diff_One.t -> Lattice_type.With_Diff_One.t end