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