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