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