sig   type t   val diff :     Lattice_type.With_Diff.t ->     Lattice_type.With_Diff.t -> Lattice_type.With_Diff.t end