type parser_env = {mutable s_stack : int array;mutable v_stack : Obj.t array;mutable symb_start_stack : Lexing.position array;mutable symb_end_stack : Lexing.position array;mutable stacksize : int;mutable stackbase : int;mutable curr_char : int;mutable lval : Obj.t;mutable symb_start : Lexing.position;mutable symb_end : Lexing.position;mutable asp : int;mutable rule_len : int;mutable rule_number : int;mutable sp : int;mutable state : int;mutable errflag : int;}type parse_tables = {actions : (parser_env -> Obj.t) array;transl_const : int array;transl_block : int array;lhs : string;len : string;defred : string;dgoto : string;sindex : string;rindex : string;gindex : string;tablesize : int;table : string;check : string;error_function : string -> unit;names_const : string;names_block : string;}exception YYexit of Obj.tval parse_engine :
parse_tables ->
parser_env ->
parser_input ->
Obj.t ->
parser_outputval env : parser_envval yyparse :
parse_tables ->
int ->
(Lexing.lexbuf -> 'a) ->
Lexing.lexbuf ->
'bval peek_val : parser_env -> int -> 'aval symbol_start_pos : unit -> Lexing.positionval symbol_end_pos : unit -> Lexing.positionval rhs_start_pos : int -> Lexing.positionval rhs_end_pos : int -> Lexing.position