sig

  val state : CamlinternalMenhirLib.EngineTypes.TABLE.state -> unit
  val shift :
    CamlinternalMenhirLib.EngineTypes.TABLE.terminal ->
    CamlinternalMenhirLib.EngineTypes.TABLE.state -> unit
  val reduce_or_accept :
    CamlinternalMenhirLib.EngineTypes.TABLE.production -> unit
  val lookahead_token :
    CamlinternalMenhirLib.EngineTypes.TABLE.terminal ->
    Stdlib.Lexing.position -> Stdlib.Lexing.position -> unit
  val initiating_error_handling : unit -> unit
  val resuming_error_handling : unit -> unit
  val handling_error : CamlinternalMenhirLib.EngineTypes.TABLE.state -> unit
end