# Module CamlinternalMenhirLib.EngineTypes.TABLE.Log

    module Log: CamlinternalMenhirLib.EngineTypes.LOG
        with type state := state
         and type terminal := terminal
         and type production := production

    type state

    type terminal

    type production

    val state : state -> unit

    val shift : terminal ->
           state -> unit

    val reduce_or_accept : production -> unit

    val lookahead_token : terminal ->
           Lexing.position -> Lexing.position -> unit

    val initiating_error_handling : unit -> unit

    val resuming_error_handling : unit -> unit

    val handling_error : state -> unit