sig
  type index = One of int | Many of int * int
  type diff =
      Add of Odiff_types.index * Odiff_types.index * string
    | Delete of Odiff_types.index * Odiff_types.index * string
    | Change of Odiff_types.index * string * Odiff_types.index * string
  type diffs = Odiff_types.diff list
end