函子 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