type left
type right
type diff

Detailed difference trace

type state

environment of a partial patch