CamlinternalMenhirLib.IncrementalEngine.INSPECTION(3) OCaml library CamlinternalMenhirLib.IncrementalEngine.INSPECTION(3)

# [NAME](#NAME)

CamlinternalMenhirLib.IncrementalEngine.INSPECTION - no description

# [Module type](#Module_type)

Module type CamlinternalMenhirLib.IncrementalEngine.INSPECTION

# [Documentation](#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**

2026-10-27 OCamldoc

---

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