CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE - no description

       Module type INCREMENTAL_ENGINE
        = sigendtypetokentypeproductiontype'aenvtype'acheckpoint = private
        | InputNeeded of'aenv
        | Shifting of'aenv*'aenv*bool
        | AboutToReduce of'aenv*production
        | HandlingError of'aenv
        | Accepted of'a
        | Rejected

       valoffer   :   'acheckpoint->token*CamlinternalMenhirLib.IncrementalEngine.position*CamlinternalMenhirLib.IncrementalEngine.position->'acheckpointtypestrategy = [`Legacy|`Simplified]valresume : ?strategy:strategy->'acheckpoint->'acheckpointtypesupplier    =    unit->token*CamlinternalMenhirLib.IncrementalEngine.position*CamlinternalMenhirLib.IncrementalEngine.positionvallexer_lexbuf_to_supplier : (Lexing.lexbuf->token)->Lexing.lexbuf->suppliervalloop : ?strategy:strategy->supplier->'acheckpoint->'avalloop_handle : ('a->'answer)->('acheckpoint->'answer)->supplier->'acheckpoint->'answervalloop_handle_undo  : ('a->'answer)->('acheckpoint->'acheckpoint->'answer)->supplier->'acheckpoint->'answervalshifts : 'acheckpoint->'aenvoptionvalacceptable : 'acheckpoint->token->CamlinternalMenhirLib.IncrementalEngine.position->booltype'alr1statevalnumber : 'alr1state->intvalproduction_index : production->intvalfind_production : int->productiontypeelement =
        |   Element   :'alr1state*'a*CamlinternalMenhirLib.IncrementalEngine.position*CamlinternalMenhirLib.IncrementalEngine.position->elementtypestack = elementCamlinternalMenhirLib.General.streamvalstack : 'aenv->stackvaltop : 'aenv->elementoptionvalpop_many : int->'aenv->'aenvoptionvalget : int->'aenv->elementoptionvalcurrent_state_number : 'aenv->intvalequal : 'aenv->'aenv->boolvalpositions     :     'aenv->CamlinternalMenhirLib.IncrementalEngine.position*CamlinternalMenhirLib.IncrementalEngine.positionvalenv_has_default_reduction : 'aenv->boolvalstate_has_default_reduction : 'alr1state->boolvalpop : 'aenv->'aenvoptionvalforce_reduction : production->'aenv->'aenvvalinput_needed : 'aenv->'acheckpoint

OCamldoc                                           2025-06-12  CamlinternalMenhirLib...ne.INCREMENTAL_ENGINE(3o)

       Module type   CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE

       CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE - no description