Diffing.Defs
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