Functor Diffing.Define.Left_variadic

module Left_variadic: functor (* : sig

end) -> S

Variadic diffing

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

Parameters:

* : Parameters with type update_result := state * left array

val diff : D.state -> D.left array -> D.right array -> Diffing.Define.patch

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