CamlinternalMenhirLib.EngineTypes.TABLE(3) OCaml library CamlinternalMenhirLib.EngineTypes.TABLE(3)

# [NAME](#NAME)

CamlinternalMenhirLib.EngineTypes.TABLE - no description

# [Module type](#Module_type)

Module type CamlinternalMenhirLib.EngineTypes.TABLE

# [Documentation](#Documentation)

Module type **TABLE**  
\= **sig end**

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

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

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

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

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

---

Document: CamlinternalMenhirLib.EngineTypes.TABLE(3o) from ocaml 5.5.2-r0 (Chainguard OS)
Source: https://github.com/ocaml/ocaml