module Right_variadic: functor (* : sig
functor (
*
:
sig
end) -> S
end
) ->
S
Parameters with type update_result := state * right array
val diff : D.state -> D.left array -> D.right array -> Diffing.Define.patch
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.
diff state l r
l
r
state