sig
  type token = token
  type env
  type production
  type 'a checkpoint = private
      InputNeeded of env
    | Shifting of env * env * bool
    | AboutToReduce of env * production
    | HandlingError of env
    | Accepted of 'a
    | Rejected
  val offer :
    'a checkpoint ->
    token * Lexing.position * Lexing.position -> 'a checkpoint
  val resume : 'a checkpoint -> 'a checkpoint
  type supplier = unit -> token * Lexing.position * Lexing.position
  val lexer_lexbuf_to_supplier :
    (Lexing.lexbuf -> token) -> Lexing.lexbuf -> supplier
  val loop : supplier -> 'a checkpoint -> 'a
  val loop_handle :
    ('a -> 'answer) ->
    ('a checkpoint -> 'answer) -> supplier -> 'a checkpoint -> 'answer
  val loop_handle_undo :
    ('a -> 'answer) ->
    ('a checkpoint -> 'a checkpoint -> 'answer) ->
    supplier -> 'a checkpoint -> 'answer
  val loop_test : (env -> 'accu -> 'accu) -> 'a checkpoint -> 'accu -> 'accu
  val acceptable : 'a checkpoint -> token -> Lexing.position -> bool
  type 'a lr1state
  val number : 'a lr1state -> int
  type element =
      Element : 'a lr1state * 'a * Lexing.position *
        Lexing.position -> element
  type stack = element MenhirLib.General.stream
  val stack : env -> stack
  val positions : env -> Lexing.position * Lexing.position
  val has_default_reduction : env -> bool
end