Module type INSPECTION
= 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 CamlinternalMenhirLib...ntalEngine.INSPECTION(3o)