Module Diffing_with_keys.Define

Parameters

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

Signature

type diff = mismatch(D.left, D.right, D.diff);
type left = with_pos(D.left);
type right = with_pos(D.right);
type composite_change = change(D.left, D.right, D.diff);

Composite changes and patches

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

Atomic changes

module type Parameters = { ... };
module Simple: (_: Parameters) => { ... };