Module EngineTypes
: sigendtype('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 ;
}
moduletypeLOG=sigendmoduletypeTABLE=sigendmoduletypeMONOLITHIC_ENGINE=sigendmoduletypeINCREMENTAL_ENGINE_START=sigendmoduletypeENGINE=sigend
OCamldoc 2025-06-12 CamlinternalMenhirLib.EngineTypes(3o)