Module Define.Left_variadic

Variadic diffing

Variadic diffing allows to expand the lists being diffed during diffing. in one specific direction.

Parameters

module _: Parameters with type update_result := (D.state, array(D.left))

Signature

let diff: D.state => array(D.left) => array(D.right) => patch;

diff state l r computes the optimal patch between l and r, using the initial state state.