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