---
name: "CamlinternalMenhirLib.IncrementalEngine.INSPECTION"
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.IncrementalEngine.INSPECTION"
---

# CamlinternalMenhirLib.IncrementalEngine.INSPECTION(3o)

no description

## NAME

CamlinternalMenhirLib.IncrementalEngine.INSPECTION - no description

## Module type

Module type   CamlinternalMenhirLib.IncrementalEngine.INSPECTION

## Documentation

Module type **INSPECTION**\
  \=  **sig end**

*include CamlinternalMenhirLib.IncrementalEngine.SYMBOLS*

*type* **'a** *lr1state*

*type production*

*type item* =  **production \* int**

*val compare\_terminals* :  **'a terminal -\> 'b terminal -\> int**

*val compare\_nonterminals* :  **'a nonterminal -\> 'b nonterminal -\> int**

*val compare\_symbols* :  **xsymbol -\> xsymbol -\> int**

*val compare\_productions* :  **production -\>** **production -\> int**

*val compare\_items* :  **item -\>** **item -\> int**

*val incoming\_symbol* :  **'a lr1state -\> 'a symbol**

*val items* :  **'a lr1state -\>** **item list**

*val lhs* :  **production -\> xsymbol**

*val rhs* :  **production -\> xsymbol list**

*val nullable* :  **'a nonterminal -\> bool**

*val first* :  **'a nonterminal -\> 'b terminal -\> bool**

*val xfirst* :  **xsymbol -\> 'a terminal -\> bool**

*val foreach\_terminal* :  **(xsymbol -\> 'a -\> 'a) -\> 'a -\> 'a**

*val foreach\_terminal\_but\_error* :  **(xsymbol -\> 'a -\> 'a) -\> 'a -\> 'a**

*type* **'a** *env*

*val feed* :  **'a symbol -\>** **CamlinternalMenhirLib.IncrementalEngine.position -\>** **'a -\>** **CamlinternalMenhirLib.IncrementalEngine.position -\>** **'b env -\>** **'b env**