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
  type strategy = [ `Legacy | `Simplified ]
  val resume 
    ?strategy:CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.strategy ->
    '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 
    ?strategy:CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.strategy ->
    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