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

# CamlinternalMenhirLib.EngineTypes(3o)

no description

## NAME

CamlinternalMenhirLib.EngineTypes - no description

## Module

Module   CamlinternalMenhirLib.EngineTypes

## Documentation

Module **EngineTypes**\
  :  **sig end**

*type* **('state, 'semantic\_value)** *stack* = {\
  state :  **'state** ;\
  semv :  **'semantic\_value** ;\
  startp :  **Lexing.position** ;\
  endp :  **Lexing.position** ;\
  next :  **('state, 'semantic\_value) stack** ;\
  }

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

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