函子 Diffing.Define

module Define: 
functor (D : Defs) -> sig .. end

Define(Defs) 从 Defs 中定义的类型以及需要使用差异算法参数实例化的函子创建差异类型

参数
D : Defs 
type change = (D.left, D.right, D.eq, D.diff) Diffing.change

列表上潜在更改的类型。

type patch = change list

补丁是一个有序的更改列表。

module type Parameters = sig .. end
module type S = sig .. end
module Simple: 
functor (* : sig
end) -> S 
module Left_variadic: 
functor (* : sig
end) -> S

可变参数差异

module Right_variadic: 
functor (* : sig
end) -> S