Diffing.Define(3)

💖 NAME 💖

okay so bestie, this is Diffing.Define(3) from the OCaml library manual ✨. The whole page is about Diffing.Define, and the headline is: Define(Defs) creates the diffing types from the types defined in Defs and the functors that need to be instantatied with the diffing algorithm parameters. (Yes, instantatied is the spelling on the page — we respect her 💅.)

---

🧩 Module 🧩

Module Diffing.Define — that's the module, that's the vibe check, periodt 🫶.

---

📚 Documentation 📚

🧚 Module Define 🧚

module Define : (D : Defs) -> sig end

Define(Defs) creates the diffing types from the types defined in Defs and the functors that need to be instantatied with the diffing algorithm parameters. slay, that's literally the job description 💅.

Parameters:

• "D" — Diffing.Defs 👑

type change = (D.left, D.right, D.eq, D.diff) Diffing.change

This is the type of potential changes on a list. 🌀

type patch = change list

A patch is an ordered list of changes. periodt 🎀.

module type Parameters = sig end

module type S = sig end

Both are literally sig end in the source, exactly as written, bestie. 🦋

• module Simple : sig end -> S — iconic lil functor signature, exactly as written ✨
• module Left_variadic : sig end -> S — the left variadic one, same sig end -> S shape 💜

🌈 Variadic diffing 🌈

Variadic diffing allows to expand the lists being diffed during diffing — in one specific direction. That's the whole sentence, and the page does not tell us which direction, iykyk 💀.

• module Right_variadic : sig end -> S — the right variadic module, signature exactly sig end -> S 🦋

---

💖 cute lil sign-off: this page is from OCamldoc, dated 2026-06-22, and it's the Diffing.Define(3) page. mwah 💋🎀