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

# Diffing.Defs(3o)

The core types of a diffing implementation

## NAME

Diffing.Defs - The core types of a diffing implementation

## Module type

Module type   Diffing.Defs

## Documentation

Module type **Defs**\
  \=  **sig end**

The core types of a diffing implementation

*type left*

*type right*

*type eq*

Detailed equality trace

*type diff*

Detailed difference trace

*type state*

environment of a partial patch