sig type token type production type 'a env type 'a checkpoint = private InputNeeded of 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env | Shifting of 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env * 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env * bool | AboutToReduce of 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env * CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.production | HandlingError of 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env | Accepted of 'a | Rejected val offer : 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.checkpoint -> CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.token * CamlinternalMenhirLib.IncrementalEngine.position * CamlinternalMenhirLib.IncrementalEngine.position -> 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.checkpoint val resume : 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.checkpoint -> 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.checkpoint type supplier = unit -> CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.token * CamlinternalMenhirLib.IncrementalEngine.position * CamlinternalMenhirLib.IncrementalEngine.position val lexer_lexbuf_to_supplier : (Stdlib.Lexing.lexbuf -> CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.token) -> Stdlib.Lexing.lexbuf -> CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.supplier val loop : CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.supplier -> 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.checkpoint -> 'a val loop_handle : ('a -> 'answer) -> ('a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.checkpoint -> 'answer) -> CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.supplier -> 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.checkpoint -> 'answer val loop_handle_undo : ('a -> 'answer) -> ('a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.checkpoint -> 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.checkpoint -> 'answer) -> CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.supplier -> 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.checkpoint -> 'answer val shifts : 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.checkpoint -> 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env option val acceptable : 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.checkpoint -> CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.token -> CamlinternalMenhirLib.IncrementalEngine.position -> bool type 'a lr1state val number : 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.lr1state -> int val production_index : CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.production -> int val find_production : int -> CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.production type element = Element : 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.lr1state * 'a * CamlinternalMenhirLib.IncrementalEngine.position * CamlinternalMenhirLib.IncrementalEngine.position -> CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.element type stack = CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.element CamlinternalMenhirLib.General.stream val stack : 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env -> CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.stack val top : 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env -> CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.element option val pop_many : int -> 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env -> 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env option val get : int -> 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env -> CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.element option val current_state_number : 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env -> int val equal : 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env -> 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env -> bool val positions : 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env -> CamlinternalMenhirLib.IncrementalEngine.position * CamlinternalMenhirLib.IncrementalEngine.position val env_has_default_reduction : 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env -> bool val state_has_default_reduction : 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.lr1state -> bool val pop : 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env -> 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env option val force_reduction : CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.production -> 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env -> 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env val input_needed : 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.env -> 'a CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.checkpoint end