sig
  type ('left, 'right, 'eq, 'diff) change =
      Delete of 'left
    | Insert of 'right
    | Keep of 'left * 'right * 'eq
    | Change of 'left * 'right * 'diff
  val map :
    ('l1 -> 'l2) ->
    ('r1 -> 'r2) ->
    ('l1, 'r1, 'eq, 'diff) Diffing.change ->
    ('l2, 'r2, 'eq, 'diff) Diffing.change
  type ('l, 'r, 'eq, 'diff) patch = ('l, 'r, 'eq, 'diff) Diffing.change list
  val diff :
    weight:(('l, 'r, 'eq, 'diff) Diffing.change -> int) ->
    test:('state -> 'l -> 'r -> ('eq, 'diff) Stdlib.result) ->
    update:(('l, 'r, 'eq, 'diff) Diffing.change -> 'state -> 'state) ->
    'state -> 'l array -> 'r array -> ('l, 'r, 'eq, 'diff) Diffing.patch
  type ('l, 'r, 'e, 'd, 'state) update =
      Without_extensions of
        (('l, 'r, 'e, 'd) Diffing.change -> 'state -> 'state)
    | With_left_extensions of
        (('l, 'r, 'e, 'd) Diffing.change -> 'state -> 'state * 'l array)
    | With_right_extensions of
        (('l, 'r, 'e, 'd) Diffing.change -> 'state -> 'state * 'r array)
  val variadic_diff :
    weight:(('l, 'r, 'eq, 'diff) Diffing.change -> int) ->
    test:('state -> 'l -> 'r -> ('eq, 'diff) Stdlib.result) ->
    update:('l, 'r, 'eq, 'diff, 'state) Diffing.update ->
    'state -> 'l array -> 'r array -> ('l, 'r, 'eq, 'diff) Diffing.patch
end