Diffing.Defs(3)

✨ NAME ✨

Okay so bestie, meet Diffing.Defs(3) from the OCaml library — it's literally The core types of a diffing implementation. That's the whole vibe. 💅

---

🦋 Module type 🦋

Module type Diffing.Defs

No cap, that's the module type name right there. 🫶

---

💖 Documentation 💖

Module type Defs

Module type Defs
 = sig end

The core types of a diffing implementation — yes, again, because that's the official line and we keep the facts exactly as they are. ✨

Here are the types, in order, with their descriptions:

• type left
• type right
• type eq — Detailed equality trace
• type diff — Detailed difference trace
• type state — environment of a partial patch

That's the whole squad: left, right, eq, diff, and state. Iconic. 👑

---

Mwah 💋 — this cute little page came from OCamldoc, dated 2026-06-22. Bye bestie! 🫶🎀