logo
Free, unlimited AI code reviews that run on commit
git-lrc git-lrc GitHub Install Now We'd appreciate a star git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt

CamlinternalMenhirLib.InspectionTableInterpreter.Make - no description

Documentation

       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)

Module

       Module   CamlinternalMenhirLib.InspectionTableInterpreter.Make

Name

       CamlinternalMenhirLib.InspectionTableInterpreter.Make - no description