CamlinternalM...reter.Symbols(3)

💖 NAME 💖

okay so this is CamlinternalM...reter.Symbols(3), and the manual name is OCaml library — folded in right here so we don't have to copy that header line twice, bestie. 🫶

The full NAME line is:

CamlinternalMenhirLib.InspectionTableInterpreter.Symbols

and the description is literally no description. Not me being shady — that's the actual tea. 💀

🧚 Module 🧚

It's listed as:

Module CamlinternalMenhirLib.InspectionTableInterpreter.Symbols

✨ Documentation ✨

Inside, you get Module Symbols, and its shape is exactly:

       Module Symbols
        : (T : sig end) -> sig end

Parameters:

• "T" — signature sig end

Then the types, no cap:

• type 'a terminal
• type 'a nonterminal

Here's type 'a symbol with its constructors:

       type 'a symbol =
        | T : 'a0 terminal -> 'a0 symbol
        | N : 'a1 nonterminal -> 'a1 symbol

And here's type xsymbol:

       type xsymbol =
        | X : 'a symbol -> xsymbol

Final sign-off: OCamldoc • 2026-06-22 — that's the source/version and date, bestie. Periodt. 💅✨