CamlinternalM...keEngineTable(3)

🎀 NAME 🎀

CamlinternalMenhirLib.TableInterpreter.MakeEngineTable — no description. That's it. That's the whole name section, bestie 💀 This page is from the OCaml library manual, and the page title is CamlinternalM...keEngineTable(3) — say that five times fast, I dare you 🫶

---

🦋 Module 🦋

Module CamlinternalMenhirLib.TableInterpreter.MakeEngineTable

Short, sweet, and fully itself ✨

---

💖 Documentation 💖

Module MakeEngineTable : (T : TableFormat.TABLES) -> sig end

🫶 Parameters 🫶

• T — CamlinternalMenhirLib.TableFormat.TABLES

Now the signature items, in order because we respect the queue 💅:

• type state
• val number : state -> int
• type token
• type terminal
• type nonterminal
• type semantic_value
• val token2terminal : token -> terminal
• val token2value : token -> semantic_value
• val error_terminal : terminal
• val error_value : semantic_value
• val foreach_terminal : (terminal -> 'a -> 'a) -> 'a -> 'a
• type production
• val production_index : production -> int
• val find_production : int -> production
• val default_reduction : state -> ('env -> production -> 'answer) -> ('env -> 'answer) -> 'env -> 'answer
• val action : state -> terminal -> semantic_value -> ('env -> bool -> terminal -> semantic_value -> state -> 'answer) -> ('env -> production -> 'answer) -> ('env -> 'answer) -> 'env -> 'answer
• val maybe_shift_t : state -> terminal -> state option — okay so maybe_shift_t s t determines whether there exists a transition out of the state s, labeled with the terminal symbol t, to some state s'. If so, it returns Some s'. Otherwise, it returns None. Slay.
• val may_reduce_prod : state -> terminal -> production -> bool — may_reduce_prod s t prod determines whether in the state s, with lookahead symbol t, the automaton reduces production prod. This test accounts for the possible existence of a default reduction. Periodt.
• val goto_nt : state -> nonterminal -> state
• val goto_prod : state -> production -> state
• val maybe_goto_nt : state -> nonterminal -> state option
• val lhs : production -> nonterminal
• val is_start : production -> bool
• exception Error — yes, an exception named Error. Iconic, frankly.
• type semantic_action — the full type is this exact mood:

type semantic_action = (state, semantic_value, token)
CamlinternalMenhirLib.EngineTypes.env -> (state, semantic_value)
CamlinternalMenhirLib.EngineTypes.stack

• val semantic_action : production -> semantic_action
• val may_reduce : state -> production -> bool
• val log : bool
• module Log : sig end — an empty sig, and that's the whole vibe.

---

mwah 💋 source/version: OCamldoc; date: 2026-06-22; page: CamlinternalM...keEngineTable(3). Stay hydrated, bestie, and may your parser tables be immaculate. 🌈✨💅