函子 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 计算 lr 之间的最佳补丁,使用初始状态 state