函子 Diffing.Define.Left_variadic

module Left_variadic: 
functor (* : sig
end) -> S

可变参数差异化

可变参数差异化允许在差异化过程中扩展正在进行差异化的列表。在一个特定方向上。

参数
* : 参数类型为 update_result := state * left array 
val diff : D.state -> D.left array -> D.right array -> Diffing.Define.patch

diff state l r 计算 l 和 r 之间的最佳补丁，使用初始状态 state。