val number : state -> intval token2value : token -> semantic_valueval error_terminal : terminalval error_value : semantic_valueval foreach_terminal : (terminal -> 'a -> 'a) -> 'a -> 'aval production_index : production -> intval find_production : int -> productionval default_reduction :
state ->
('env -> production -> 'answer) ->
('env -> 'answer) ->
'env ->
'answerval action :
state ->
terminal ->
semantic_value ->
('env -> bool -> terminal -> semantic_value -> state -> 'answer) ->
('env -> production -> 'answer) ->
('env -> 'answer) ->
'env ->
'answermaybe_shift_t s t determines whether there exists a transition out of the state s, labeled with the terminal symbol t, to some state s'. If so, it returns Some s'. Otherwise, it returns None.
val may_reduce_prod : state -> terminal -> production -> boolmay_reduce_prod s t prod determines whether in the state s, with lookahead symbol t, the automaton reduces production prod. This test accounts for the possible existence of a default reduction.
val goto_nt : state -> nonterminal -> stateval goto_prod : state -> production -> stateval maybe_goto_nt : state -> nonterminal -> state optionval lhs : production -> nonterminalval is_start : production -> booltype semantic_action =
(state, semantic_value, token) env ->
(state, semantic_value) stackval semantic_action : production -> semantic_actionval may_reduce : state -> production -> boolmodule Log :
LOG
with type state := state
and type terminal := terminal
and type production := production