Camlinternal...ngine.SYMBOLS(3)

📦
version 5.5.0 · 19 versions
, in arch rolling

💖 NAME 💖

Okay so this is the OCaml library manual page for CamlinternalMenhirLib.IncrementalEngine.SYMBOLS — the header is out here looking like Camlinternal...ngine.SYMBOLS(3) because truncation said slay, but we move. ✨

CamlinternalMenhirLib.IncrementalEngine.SYMBOLS — no description. That's it. That's the whole NAME section. Not me with nothing else to say 💀.

🧚 Module type 🧚

Module type CamlinternalMenhirLib.IncrementalEngine.SYMBOLS — yep, that's the module type's full government name, bestie 🫶.

🫶 Documentation 🫶

🌸 Module type SYMBOLS 🌸

The doc says:

Module type SYMBOLS = sig end

and then it lists these type declarations, exactly:

type 'a terminal

type 'a nonterminal

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

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

So the type squad is:

  • T — wraps a 'a0 terminal into an 'a0 symbol 💅
  • N — wraps a 'a1 nonterminal into an 'a1 symbol 🌸
  • X — wraps an 'a symbol into an xsymbol 🦋

Signed with OCaml love by OCamldoc, dated 2026-06-22, and filed under Camlinternal...ngine.SYMBOLS(3) 💖🫶✨

📦 where this page comes from