type ('state, 'semantic_value) stack = {state : 'state;semv : 'semantic_value;startp : Stdlib.Lexing.position;endp : Stdlib.Lexing.position;next : ('state, 'semantic_value) stack;}type ('state, 'semantic_value, 'token) env = {error : bool;triple : 'token * Stdlib.Lexing.position * Stdlib.Lexing.position;stack : ('state, 'semantic_value) stack;current : 'state;}module type LOG = sig ... endmodule type TABLE = sig ... endmodule type MONOLITHIC_ENGINE = sig ... endmodule type INCREMENTAL_ENGINE_START = sig ... endmodule type ENGINE = sig ... end