---
name: "CamlinternalMenhirLib.InspectionTableInterpreter.Make"
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.InspectionTableInterpreter.Make"
---

# CamlinternalMenhirLib.InspectionTableInterpreter.Make(3o)

no description

## NAME

CamlinternalMenhirLib.InspectionTableInterpreter.Make - no description

## Module

Module   CamlinternalMenhirLib.InspectionTableInterpreter.Make

## Documentation

Module **Make**\
  :  **(TT : TableFormat.TABLES) (IT : sig end) (ET : sig end) (E : sig end) -\>** **sig end**

**Parameters:**

"TT"

**CamlinternalMenhirLib.TableFormat.TABLES**

"IT"

**sig end**

"ET"

**sig end**

"E"

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