module type Defs = sig .. end
sig
end
差异实现的核心类型
type left
type right
type eq
详细的等式跟踪
type diff
详细的差异跟踪
type state
部分补丁的环境