CamlinternalM...Format.TABLES(3)

💅 CamlinternalM...Format.TABLES(3) 💅

okay bestie, welcome to the OCaml library page for CamlinternalM...Format.TABLES(3). This is a module-type situation, and the vibe is extremely “here are the signatures, no cap.” ✨

🎀 NAME 🎀

CamlinternalMenhirLib.InspectionTableFormat.TABLES — no description. Yep, literally no description. The original page is out here giving mysterious main-character energy, and we respect it. 💅

🦋 Module type 🦋

Module type CamlinternalMenhirLib.InspectionTableFormat.TABLES.

✨ Documentation ✨

Here’s the whole module type, bestie — exact signatures, untouched, because we do not mess with the code. 🫶

Module type TABLES
 = sig end

include CamlinternalMenhirLib.IncrementalEngine.SYMBOLS

type 'a lr1state

val terminal : int -> xsymbol

val nonterminal : int -> xsymbol

val rhs : CamlinternalMenhirLib.PackedIntArray.t *
CamlinternalMenhirLib.PackedIntArray.t

val lr0_core : CamlinternalMenhirLib.PackedIntArray.t

val lr0_items : CamlinternalMenhirLib.PackedIntArray.t *
CamlinternalMenhirLib.PackedIntArray.t

val lr0_incoming : CamlinternalMenhirLib.PackedIntArray.t

val nullable : string

val first : int * string

and for the besties who like a little checklist moment, here’s the same tea in bullet form — every name and type exactly as it appeared 💖

• type 'a lr1state — the lr1state type, parameterized by 'a.
• val terminal : int -> xsymbol — terminal, typed int -> xsymbol.
• val nonterminal : int -> xsymbol — nonterminal, typed int -> xsymbol.
• val rhs : CamlinternalMenhirLib.PackedIntArray.t * CamlinternalMenhirLib.PackedIntArray.t — rhs, typed as that pair of CamlinternalMenhirLib.PackedIntArray.t.
• val lr0_core : CamlinternalMenhirLib.PackedIntArray.t — lr0_core, typed as CamlinternalMenhirLib.PackedIntArray.t.
• val lr0_items : CamlinternalMenhirLib.PackedIntArray.t * CamlinternalMenhirLib.PackedIntArray.t — lr0_items, typed as that pair of CamlinternalMenhirLib.PackedIntArray.t.
• val lr0_incoming : CamlinternalMenhirLib.PackedIntArray.t — lr0_incoming, typed as CamlinternalMenhirLib.PackedIntArray.t.
• val nullable : string — nullable, typed string.
• val first : int * string — first, typed int * string.

Also, don’t forget the include, because it’s part of the whole fit: include CamlinternalMenhirLib.IncrementalEngine.SYMBOLS. 🌈

This page is literally tagged “no description,” so if you were looking for extra lore, there isn’t any on this manpage. The signatures are the moment. Periodt. 💀

---

That’s the whole page, bestie — source/version/date at the bottom is OCamldoc and 2026-06-22, so catch you later with that exact footer tea. 💜