module Right_variadic: functor (* : sig
functor (
*
:
sig
end) -> S
end
) ->
S
具有类型 update_result := state * right 数组的参数
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 使用初始状态 state 计算 l 和 r 之间的最佳补丁。
diff state l r
state
l
r