Module type Diffing.Defs

type left
type right
type eq
type diff
type state