module type Defs = sig .. end
sig
end
The core types of a diffing implementation
type left
type right
type eq
Detailed equality trace
type diff
Detailed difference trace
type state
environment of a partial patch