Diffing_with_keys.Define
module D : sig ... end
type diff = (D.left, D.right, D.diff) mismatch
type left = D.left with_pos
type right = D.right with_pos
type composite_change = (D.left, D.right, D.diff) change
type patch = composite_change list
type change = (left, right, unit, diff) Diffing.change
module type Parameters = sig ... end
module Simple (_ : Parameters) : sig ... end