函子 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 使用初始狀態 state 計算 l 和 r 之間的最佳修補。