Diffing\_with\_keys.Define(3) OCaml library Diffing\_with\_keys.Define(3)

# [NAME](#NAME)

Diffing\_with\_keys.Define - no description

# [Module](#Module)

Module Diffing\_with\_keys.Define

# [Documentation](#Documentation)

Module **Define**  
: **(D : sig end) -> sig end**

**Parameters:**

"D"

**sig end**

*type diff* = **(D.left, D.right, D.diff) Diffing\_with\_keys.mismatch**

*type left* = **D.left Diffing\_with\_keys.with\_pos**

*type right* = **D.right Diffing\_with\_keys.with\_pos**

*type composite\_change* = **(D.left, D.right, D.diff) Diffing\_with\_keys.change**

Composite changes and patches

*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**

2026-10-01 OCamldoc

---

Document: Diffing_with_keys.Define(3o) from ocaml 5.5.1-r1 (Chainguard OS)
Source: https://github.com/ocaml/ocaml