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