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 TABLE = sig end

       module type MONOLITHIC_ENGINE = sig end

       module type INCREMENTAL_ENGINE_START = sig end

       module type ENGINE = sig end