CamlinternalMenhirLib.TableInterpreter.MakeEngineTable - no description

       Module MakeEngineTable
        : (T:TableFormat.TABLES)->sigendParameters:

       "T"

       CamlinternalMenhirLib.TableFormat.TABLEStypestatevalnumber : state->inttypetokentypeterminaltypenonterminaltypesemantic_valuevaltoken2terminal : token->terminalvaltoken2value : token->semantic_valuevalerror_terminal : terminalvalerror_value : semantic_valuevalforeach_terminal : (terminal->'a->'a)->'a->'atypeproductionvalproduction_index : production->intvalfind_production : int->productionvaldefault_reduction : state->('env->production->'answer)->('env->'answer)->'env->'answervalaction : state->terminal->semantic_value->('env->bool->terminal->semantic_value->state->'answer)->('env->production->'answer)->('env->'answer)->'env->'answervalmaybe_shift_t : state->terminal->stateoptionmaybe_shift_tst 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 Somes' . Otherwise, it returns None .

       valmay_reduce_prod : state->terminal->production->boolmay_reduce_prodstprod  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.

       valgoto_nt : state->nonterminal->statevalgoto_prod : state->production->statevalmaybe_goto_nt : state->nonterminal->stateoptionvallhs : production->nonterminalvalis_start : production->boolexceptionErrortypesemantic_action = (state,semantic_value,token)CamlinternalMenhirLib.EngineTypes.env->(state,semantic_value)CamlinternalMenhirLib.EngineTypes.stackvalsemantic_action : production->semantic_actionvalmay_reduce : state->production->boolvallog : boolmoduleLog:sigend

OCamldoc                                           2025-06-12  CamlinternalMenhirLib...reter.MakeEngineTable(3o)

       Module   CamlinternalMenhirLib.TableInterpreter.MakeEngineTable

       CamlinternalMenhirLib.TableInterpreter.MakeEngineTable - no description