# 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`.