---
name: "CamlinternalMenhirLib.EngineTypes.TABLE"
section: "3o"
platform: "linux"
package: "ocaml"
version: "5.5.0-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/CamlinternalMenhirLib.EngineTypes.TABLE"
---

# CamlinternalMenhirLib.EngineTypes.TABLE(3o)

no description

## NAME

CamlinternalMenhirLib.EngineTypes.TABLE - no description

## Module type

Module type   CamlinternalMenhirLib.EngineTypes.TABLE

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