Functor CamlinternalMenhirLib.TableInterpreter.MakeEngineTable

module MakeEngineTable: functor (T : CamlinternalMenhirLib.TableFormat.TABLES) -> CamlinternalMenhirLib.EngineTypes.TABLE 
    with type state = int
     and type token = T.token
     and type semantic_value = Obj.t
     and type production = int
     and type terminal = int
     and type nonterminal = int
Parameters:
T : CamlinternalMenhirLib.TableFormat.TABLES
type state 
val number : state -> int
type token 
type terminal 
type nonterminal 
type semantic_value 
val token2terminal : token ->       terminal
val token2value : token ->       semantic_value
val error_terminal : terminal
val error_value : semantic_value
val foreach_terminal : (terminal -> 'a -> 'a) -> 'a -> 'a
type production 
val production_index : production -> int
val find_production : int -> production
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_nt : state ->       nonterminal ->       state
val goto_prod : state ->       production ->       state
val maybe_goto_nt : state ->       nonterminal ->       state option
val is_start : production -> bool
exception Error
type semantic_action = (state,        semantic_value,        token)       CamlinternalMenhirLib.EngineTypes.env ->       (state,        semantic_value)       CamlinternalMenhirLib.EngineTypes.stack 
val semantic_action : production ->       semantic_action
val may_reduce : state ->       production -> bool
val log : bool
module Log: sig .. end