Camlinternal...b.EngineTypes(3)

💖 NAME 💖

CamlinternalMenhirLib.EngineTypes — no description 😭. That's literally what the page says, bestie. This is the OCaml library manual, and we are not gonna invent a description where there isn't one. Periodt.

🧚 Module 🧚

The module is:

Module CamlinternalMenhirLib.EngineTypes

✨ Documentation ✨

Under Documentation, we've got Module EngineTypes, and its signature is:

Module EngineTypes
 : sig end

Okay so now the actual definitions, and yes, we're keeping every character. First the stack type, which is giving "linked list with extra lore" energy 🔥:

type ('state, 'semantic_value) stack = {
 state : 'state ;
 semv : 'semantic_value ;
 startp : Lexing.position ;
 endp : Lexing.position ;
 next : ('state, 'semantic_value) stack ;
 }

Then the env type, with its fields error, triple, stack, and current — no cap, all four are right here:

type ('state, 'semantic_value, 'token) env = {
 error : bool ;
 triple : 'token * Lexing.position * Lexing.position ;
 stack : ('state, 'semantic_value) stack ;
 current : 'state ;
 }

And then a whole little lineup of module types, each one exactly sig end — yes, empty signatures, and honestly that's iconic in a minimalist way 🎀:

module type LOG = sig end

module type TABLE = sig end

module type MONOLITHIC_ENGINE = sig end

module type INCREMENTAL_ENGINE_START = sig end

module type ENGINE = sig end

That's the whole page, bestie — just these types and module types, served fresh 💜.

---

With love from the OCaml library manual: this page was generated by OCamldoc on 2026-06-22 for Camlinternal...b.EngineTypes(3) — bye bestie, go slay some OCaml 💅✨