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