Module 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