val number : state -> inttype semantic_value = Obj.tval 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 ->
'answerval goto_nt : state -> nonterminal -> stateval goto_prod : state -> production -> stateval maybe_goto_nt : state -> nonterminal -> state optionval is_start : production -> booltype semantic_action =
(state, semantic_value, token) EngineTypes.env ->
(state, semantic_value) EngineTypes.stackval semantic_action : production -> semantic_actionval may_reduce : state -> production -> boolmodule Log :
EngineTypes.LOG
with type state := state
and type terminal := terminal
and type production := production