Diffing.Define.Parameters(3) OCaml library Diffing.Define.Parameters(3)

# [NAME](#NAME)

Diffing.Define.Parameters - no description

# [Module type](#Module_type)

Module type Diffing.Define.Parameters

# [Documentation](#Documentation)

Module type **Parameters**  
\= **sig end**

*type update\_result*

*val weight* : **Diffing.Define.change -&gt; int**

**weight ch** returns the weight of the change **ch** . Used to find the smallest patch.

*val test* : **D.state -&gt; D.left -&gt; D.right -&gt; (D.eq, D.diff) result**

**test st xl xr** tests if the elements **xl** and **xr** are co mpatible ( **Ok** ) or not ( **Error** ).

*val update* : **Diffing.Define.change -&gt; D.state -&gt; update\_result**

**update ch st** returns the new state after applying a change. The **update\_result** type also contains expansions in the variadic case.

2026-10-01 OCamldoc

---

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