Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val offer :
'a checkpoint ->
(token * Lexing.position * Lexing.position) ->
'a checkpoint
val resume : 'a checkpoint -> 'a checkpoint
type supplier = unit -> token * Lexing.position * Lexing.position
val lexer_lexbuf_to_supplier :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
supplier
val loop : supplier -> 'a checkpoint -> 'a
val loop_handle :
('a -> 'answer) ->
('a checkpoint -> 'answer) ->
supplier ->
'a checkpoint ->
'answer
val loop_handle_undo :
('a -> 'answer) ->
('a checkpoint -> 'a checkpoint -> 'answer) ->
supplier ->
'a checkpoint ->
'answer
val loop_test : (env -> 'accu -> 'accu) -> 'a checkpoint -> 'accu -> 'accu
val acceptable : 'a checkpoint -> token -> Lexing.position -> bool
val number : 'a lr1state -> int
type stack = element General.stream
val positions : env -> Lexing.position * Lexing.position
val has_default_reduction : env -> bool
type item = production * int
val compare_nonterminals : 'a nonterminal -> 'b nonterminal -> int
val compare_productions : production -> production -> int
val lhs : production -> xsymbol
val rhs : production -> xsymbol list
val nullable : 'a nonterminal -> bool
val first : 'a nonterminal -> 'b terminal -> bool
val foreach_terminal : (xsymbol -> 'a -> 'a) -> 'a -> 'a
val foreach_terminal_but_error : (xsymbol -> 'a -> 'a) -> 'a -> 'a