Diffing_with_keys.Define
module D : Diffing.Defs with type eq := unit
type patch = composite_change list
type change = (left, right, unit, diff) Diffing.change
Atomic changes
module type Parameters = sig ... end
module Simple (_ : Parameters) : sig ... end