函子 Diffing_with_keys.Define.Simple

module Simple: 
functor (* : sig
end-> sig .. end
參數
* : 參數

val diff : D.state -> D.left list -> D.right list -> Diffing_with_keys.Define.patch