Define.D
type left;
type right;
type eq;
Detailed equality trace
type diff;
Detailed difference trace
type state;
environment of a partial patch