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

# Diffing.Define.Left\_variadic(3o)

Variadic diffing

## NAME

Diffing.Define.Left\_variadic -  Variadic diffing

## Module

Module   Diffing.Define.Left\_variadic

## Documentation

Module **Left\_variadic**\
  :  **sig end -\> S**

### Variadic diffing

Variadic diffing allows to expand the lists being diffed during diffing. in one specific direction.

**Parameters:**

"\*"

**sig end**

*val diff* :  **D.state -\> D.left array -\> D.right array -\> Diffing.Define.patch**

**diff state l r** computes the optimal patch between  **l** and  **r** , using the initial state  **state** .