Module MenhirLib.IncrementalEngineSource

Sourcetype position = Lexing.position
Sourcemodule type INCREMENTAL_ENGINE = sig ... end

This signature describes the incremental LR engine. When the engine is used in this mode, the user controls the lexer, and the parser suspends itself when it needs to read a new token.

Sourcemodule type SYMBOLS = sig ... end

This signature is a fragment of the inspection API that is made available to the user when --inspection is used. This fragment contains type definitions for symbols.

Sourcemodule type INSPECTION = sig ... end

This signature describes the inspection API that is made available to the user when --inspection is used.

Sourcemodule type EVERYTHING = sig ... end

This signature combines the incremental API and the inspection API.