module type Defs = sig .. end
sig
end
差異比較實作的核心類型
type left
type right
type eq
詳細相等追蹤
type diff
詳細差異追蹤
type state
部分修補程式的環境