Module Odiff_types (.ml)


module Odiff_types: sig .. end
Types to manipulate differences between two files.


type index =
| One of int (*one line*)
| Many of int * int (*many lines, we have the first and the last*)
Index in a file.

type diff =
| Add of index * index * string (*for <index>a<index> and the added text*)
| Delete of index * index * string (*for <index>d<index> and the deleted text*)
| Change of index * string * index * string (*for <index>c<index> and the deleted and added texts*)
Representation of one difference.
type diffs = diff list 
Differences between two files.