---
name: "Diffing.Define.Parameters"
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.Define.Parameters"
---

# Diffing.Define.Parameters(3o)

no description

## NAME

Diffing.Define.Parameters - no description

## Module type

Module type   Diffing.Define.Parameters

## Documentation

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

*type update\_result*

*val weight* :  **Diffing.Define.change -\> int**

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

*val test* :  **D.state -\> D.left -\> D.right -\> (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 -\> D.state -\> update\_result**

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