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

# Diffing.Define.S(3o)

no description

## NAME

Diffing.Define.S - no description

## Module type

Module type   Diffing.Define.S

## Documentation

Module type **S**\
  \=  **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** .