module Hunk:In diff terms, a hunk is a unit of consecutive ranges with somesig
..end
Same
context before and after New
, Old
, and Replace
ranges. Each
hunk contains information about the original arrays, specifically the
starting indexes and the number of elements in both arrays to which
the hunk refers.
Furthermore, a diff is essentially a list of hunks. The simplest case
is a diff with infinite context, consisting of exactly one hunk.
type 'a
t = {
|
mine_start : |
|
mine_size : |
|
other_start : |
|
other_size : |
|
ranges : |
val all_same : 'a t -> bool
all_same hunk
returns true if hunk
contains only Same ranges.