Identifiable(3)

👑 Identifiable 💅

okay bestie, welcome to Identifiable(3) from the OCaml library — manual name folded in right at the top like a cute little label. This page is short and iconic, so let's get into it.

---

🌸 NAME 🌸

Identifiable — Uniform interface for common data structures over various things. That's the whole vibe: one interface, lots of things. No cap.

🧚 Module 🧚

Module Identifiable — that's the module label, bestie. It's the main character of this page.

✨ Documentation ✨

Module Identifiable
 : sig end

Uniform interface for common data structures over various things. (yes, it said it twice, and honestly? consistency ate.)

⚠️ Warning: this module is unstable and part of Compiler_libs. So like, don't build your whole personality on it, okay? 😭

Here are the exact declared pieces, copied character-for-character because we do not mess with signatures:

module type Thing = sig end

module Pair : (A : Thing) (B : Thing) -> sig end

module type Set = sig end

module type Map = sig end

module type Tbl = sig end

module type S = sig end

module Make : (T : Thing) -> sig end

That's the whole lineup: module type Thing, Pair, module type Set, module type Map, module type Tbl, module type S, and Make — all present and accounted for. 🫶

---

source/version: OCamldoc ✨ date: 2026-06-22 ✨ page: Identifiable(3) — mwah, that's the cute sign-off, bestie. 💖