Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val token2value : token -> semantic_value
val error_terminal : terminal
val error_value : semantic_value
val default_reduction :
state ->
('env -> production -> 'answer) ->
('env -> 'answer) ->
'env ->
'answer
val action :
state ->
terminal ->
semantic_value ->
('env -> bool -> terminal -> semantic_value -> state -> 'answer) ->
('env -> production -> 'answer) ->
('env -> 'answer) ->
'env ->
'answer
val goto : state -> production -> state
exception Accept of semantic_value
type semantic_action = (state, semantic_value, token) EngineTypes.env -> unit
val semantic_action : production -> semantic_action
module Log : sig ... end