Define.Left_variadic
Variadic diffing allows to expand the lists being diffed during diffing. in one specific direction.
module _ : Parameters with type update_result := D.state * D.left array
val diff : D.state -> D.left array -> D.right array -> patch
diff state l r computes the optimal patch between l and r, using the initial state state.
diff state l r
l
r
state