Up

module Parsing

: 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 -> Lexing.position
#
val symbol_end_pos : unit -> Lexing.position
#
val rhs_start_pos : int -> Lexing.position
#
val rhs_end_pos : int -> Lexing.position
#
val clear_parser : unit -> unit
#
exception Parse_error
#
val set_trace : bool -> bool
#
type parser_env
#
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.t
#
val yyparse : parse_tables -> int -> (Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> 'b
#
val peek_val : parser_env -> int -> 'a
#
val is_current_lookahead : 'a -> bool
#
val parse_error : string -> unit
end