Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Patience_diff.Hunk
SourceIn diff terms, a hunk is a unit of consecutive ranges with some Same
context before and after Next
, Prev
, 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 = {
prev_start : int;
prev_size : int;
next_start : int;
next_size : int;
ranges : 'a Patience_diff_lib__.Range.t list;
}