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