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