函子 Diffing.Define.Simple

module Simple: 
functor (* : sig
end-> S 
參數
* : 類型為 update_result := state 的參數

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

diff state l r 使用初始狀態 state,計算 lr 之間的最佳差異修補。