函子 Diffing_with_keys.Define

module Define: functor (D : Diffing.Defs  with type eq := unit) -> sig .. end

参数

D : Diffing.Defs 类型 eq := unit

type diff = (D.left, D.right, D.diff) Diffing_with_keys.mismatch

type left = D.left Diffing_with_keys.with_pos

type right = D.right Diffing_with_keys.with_pos

type composite_change = (D.left, D.right, D.diff) Diffing_with_keys.change

复合变更和补丁

type patch = composite_change list

type change = (left, right, unit,
        diff)
       Diffing.change

原子变更

module type Parameters = sig .. end

module Simple: functor (* : sig

end) -> sig .. end