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