Module Diffing_with_keys.DefineSource

Parameters

module D : Diffing.Defs with type eq := unit

Signature

Sourcetype right = D.right with_pos
Sourcetype composite_change = (D.left, D.right, D.diff) change

Composite changes and patches

Sourcetype patch = composite_change list
Sourcetype change = (left, right, unit, diff) Diffing.change

Atomic changes

Sourcemodule type Parameters = sig ... end
Sourcemodule Simple (_ : Parameters) : sig ... end