Module type EngineTypes.MONOLITHIC_ENGINE

This signature describes the monolithic (traditional) LR engine. When the engine is used in this mode, the parser controls the lexer.

type state
type token
type semantic_value
exception Error
val entry : [ `Legacy | `Simplified ] -> state -> (Lexing.lexbuf -> token) -> Lexing.lexbuf -> semantic_value

An entry point to the engine requires a start state, a lexer, and a lexing buffer. It either succeeds and produces a semantic value, or fails and raises Error.