Module Make
: (TT:TableFormat.TABLES)(IT:sigend)(ET:sigend)(E:sigend)->sigendParameters:
"TT"
CamlinternalMenhirLib.TableFormat.TABLES
"IT"
sigend
"ET"
sigend
"E"
sigendincludeCamlinternalMenhirLib.IncrementalEngine.SYMBOLStype'alr1statetypeproductiontypeitem = production*intvalcompare_terminals : 'aterminal->'bterminal->intvalcompare_nonterminals : 'anonterminal->'bnonterminal->intvalcompare_symbols : xsymbol->xsymbol->intvalcompare_productions : production->production->intvalcompare_items : item->item->intvalincoming_symbol : 'alr1state->'asymbolvalitems : 'alr1state->itemlistvallhs : production->xsymbolvalrhs : production->xsymbollistvalnullable : 'anonterminal->boolvalfirst : 'anonterminal->'bterminal->boolvalxfirst : xsymbol->'aterminal->boolvalforeach_terminal : (xsymbol->'a->'a)->'a->'avalforeach_terminal_but_error : (xsymbol->'a->'a)->'a->'atype'aenvvalfeed : 'asymbol->CamlinternalMenhirLib.IncrementalEngine.position->'a->CamlinternalMenhirLib.IncrementalEngine.position->'benv->'benv
OCamldoc 2025-06-12 CamlinternalMenhirLi...TableInterpreter.Make(3o)