`sig
type state
type terminal
type production
val state : CamlinternalMenhirLib.EngineTypes.LOG.state -> unit
val shift :
CamlinternalMenhirLib.EngineTypes.LOG.terminal ->
CamlinternalMenhirLib.EngineTypes.LOG.state -> unit
val reduce_or_accept :
CamlinternalMenhirLib.EngineTypes.LOG.production -> unit
val lookahead_token :
CamlinternalMenhirLib.EngineTypes.LOG.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.LOG.state -> unit
end`