MenhirLib.TableInterpretermodule MakeEngineTable (T : TableFormat.TABLES) : EngineTypes.TABLE with type state = int and type token = T.token and type semantic_value = Obj.t and type production = int and type
terminal = int and type nonterminal = int