模組類型 Diffing.Define.S

module type S = sig .. end

val diff : D.state -> D.left array -> D.right array -> Diffing.Define.patch

diff state l r 使用初始狀態 state，計算 l 和 r 之間的最佳修補程式。