DiffRow
A row of a diff as a page shows it: a line (added, removed or unchanged; its numbers before and after; its HTML), or
a run of gap lines left out (cut: the end of one cut short).
export type DiffRow = | { op: " " | "+" | "-"; a?: number; b?: number; html: string } | { gap: number; cut?: boolean };