module Odiff_box: sig
.. end
Graphical user interface to display differences.
val get_n_first_ele : int -> 'a list -> 'a list * 'a list
val first_of_index : Odiff.index -> int
val last_of_index : Odiff.index -> int
val range_of_index : Odiff.index -> int
val range_of_diff : Odiff.diff -> int
val first_of_diff : Odiff.diff -> int
val last_of_diff : Odiff.diff -> int
val range_of_index2_of_diff : Odiff.diff -> int
val find_prev : int -> Odiff.diff list -> int option
This function takes a line number and list of differences and return
the number of the first line of the previous diff before the given line number.
The given list of differences is supposed to be sorted.
Returns None if the list is empty. If no difference is found before the given
line number, then the last difference is used.
val find_next : int -> Odiff.diff list -> int option
This function takes a line number and list of differences and return
the number of the first line of the next diff after the given line number.
The given list of differences is supposed to be sorted.
Returns None if the list is empty. If no difference is found after the given
line number, then the first difference is used.
class string_window : string -> string -> Odiff.diff list ->
object
.. end
The window to display differences.
val window : string -> string -> Odiff.diff list -> string_window