module Odiff_types:Types to manipulate differences between two files.sig
..end
type
index =
| |
One of |
(* | one line | *) |
| |
Many of |
(* | many lines, we have the first and the last | *) |
type
diff =
| |
Add of |
(* | for <index>a<index> and the added text | *) |
| |
Delete of |
(* | for <index>d<index> and the deleted text | *) |
| |
Change of |
(* | for <index>c<index> and the deleted and added texts | *) |
typediffs =
diff list