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