EngineTypes (menhirLib.MenhirLib.EngineTypes)

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