sig val symbol_start : unit -> int val symbol_end : unit -> int val rhs_start : int -> int val rhs_end : int -> int val symbol_start_pos : unit -> Stdlib.Lexing.position val symbol_end_pos : unit -> Stdlib.Lexing.position val rhs_start_pos : int -> Stdlib.Lexing.position val rhs_end_pos : int -> Stdlib.Lexing.position val clear_parser : unit -> unit exception Parse_error val set_trace : bool -> bool type parser_env type parse_tables = { actions : (Parsing.parser_env -> Stdlib.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 Stdlib.Obj.t val yyparse : Parsing.parse_tables -> int -> (Stdlib.Lexing.lexbuf -> 'a) -> Stdlib.Lexing.lexbuf -> 'b val peek_val : Parsing.parser_env -> int -> 'a val is_current_lookahead : 'a -> bool val parse_error : string -> unit end