NAME

CamlinternalMenhirLib.EngineTypes.TABLE.Log - no description

Module

Module CamlinternalMenhirLib.EngineTypes.TABLE.Log

Documentation

Module Log
: sig end

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