---
name: "Diffing_with_keys.Define"
section: "3o"
platform: "linux"
package: "ocaml"
version: "5.5.0-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/Diffing_with_keys.Define"
---

# Diffing\_with\_keys.Define(3o)

no description

## NAME

Diffing\_with\_keys.Define - no description

## Module

Module   Diffing\_with\_keys.Define

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