Functor Diffing.Define.Right_variadic

module Right_variadic: 
functor (* : sig
end-> S 
Parameters:
* : Parameters with type update_result := state * right 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.