Module `Diffing_with_keys.Define`

Parameters

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

type diff = (D.left, D.right, D.diff) Ocaml_utils.Diffing_with_keys.mismatch

type left = D.left Ocaml_utils.Diffing_with_keys.with_pos

type right = D.right Ocaml_utils.Diffing_with_keys.with_pos

type composite_change =
  (D.left, D.right, D.diff) Ocaml_utils.Diffing_with_keys.change

Composite changes and patches

type patch = composite_change list

type change = (left, right, unit, diff) Ocaml_utils.Diffing.change

Atomic changes

module type Parameters = sig ... end

module Simple (_ : Parameters) : sig ... end