MenhirLib.EngineTypes.INCREMENTAL_ENGINE_START · menhirLib 20220210 · OCaml Packages

menhirLib

Runtime support library for parsers generated by Menhir

package menhirLib

menhirLib
- MenhirLib
  - Convert
    
    Simplified
  - Engine
    
    Make
    
    1-T
    
    Log
  - EngineTypes
    
    ENGINE
    
    INCREMENTAL_ENGINE_START
    
    LOG
    
    MONOLITHIC_ENGINE
    
    TABLE
    
    Log
  - ErrorReports
  - General
  - IncrementalEngine
    
    EVERYTHING
    
    INCREMENTAL_ENGINE
    
    INSPECTION
    
    SYMBOLS
  - InfiniteArray
  - InspectionTableFormat
    
    TABLES
  - InspectionTableInterpreter
    
    Make
    
    1-TT
    
    2-IT
    
    3-ET
    
    Log
    
    4-E
    
    Symbols
    
    1-T
  - LexerUtil
  - LinearizedArray
  - PackedIntArray
  - Printers
    
    Make
    
    1-I
    
    2-User
  - RowDisplacement
  - StaticVersion
  - TableFormat
    
    TABLES
  - TableInterpreter
    
    MakeEngineTable
    
    1-T
    
    Log

Legend:
Library
Module
Module type
Parameter
Class
Class type

Library menhirLib

Module type MenhirLib . EngineTypes . INCREMENTAL_ENGINE_START

type state

type semantic_value

type 'a checkpoint

val start : state -> Lexing.position -> semantic_value checkpoint