CamlinternalMenhirLib.TableInterpreter.MakeEngineTable(3) OCaml library CamlinternalMenhirLib.TableInterpreter.MakeEngineTable(3)

# [NAME](#NAME)

CamlinternalMenhirLib.TableInterpreter.MakeEngineTable - no description

# [Module](#Module)

Module CamlinternalMenhirLib.TableInterpreter.MakeEngineTable

# [Documentation](#Documentation)

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

**Parameters:**

"T"

**CamlinternalMenhirLib.TableFormat.TABLES**

*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 goto\_nt* : **state ->** **nonterminal ->** **state**

*val goto\_prod* : **state ->** **production ->** **state**

*val maybe\_goto\_nt* : **state ->** **nonterminal ->** **state option**

*val is\_start* : **production -> bool**

*exception Error*

*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**

2026-10-27 OCamldoc

---

Document: CamlinternalMenhirLib.TableInterpreter.MakeEngineTable(3o) from ocaml-4 4.14.4-r4 (Chainguard OS)
Source: https://github.com/ocaml/ocaml