Consistbl.Make(3)

💖 NAME 💖

okay so bestie, welcome to Consistbl.Make(3) from the OCaml library docs. The NAME section is literally Consistbl.Make — no description 💀. That's not me being shady, that's just what the page says. Mysterious icon behavior, honestly.

🧚 Module 🧚

The manual name is folded in right here: Consistbl.Make, and yes, this is that module's page ✨.

🌸 Documentation 🌸

🦋 Module Make 🦋

The signature is exactly this, no edits, no vibes-based rewrites:

Module Make
 : (Module_name : sig end) -> sig end

Parameters:

• "Module_name" — sig end

Then the declarations, all of them, in order, no skipping periodt:

• type t
• val create : unit -> t
• val clear : t -> unit
• val check : t -> Module_name.t -> Digest.BLAKE128.t -> Misc.filepath -> unit
• val check_noadd : t -> Module_name.t -> Digest.BLAKE128.t -> Misc.filepath -> unit
• val source : t -> Module_name.t -> Misc.filepath
• val extract : Module_name.t list -> t -> (Module_name.t * Digest.BLAKE128.t option) list
• val extract_map : Module_name.Set.t -> t -> Digest.BLAKE128.t option Module_name.Map.t
• val filter : (Module_name.t -> bool) -> t -> unit

And the exceptions, because they deserve their own moment:

exception Inconsistency of {
 unit_name : Module_name.t ;
 inconsistent_source : string ;
 original_source : string ;
 }

• exception Not_available of Module_name.t

⚠️ fr fr, keep those exception names and record fields exactly as written — Inconsistency, Not_available, unit_name, inconsistent_source, original_source — code is not a vibe, it's a contract 💅.

---

🫶 source/version: OCamldoc · date: 2026-06-22 · manual: Consistbl.Make(3) — that's the cute sign-off, bestie, now go be iconic ✨💖