module TableInterpreter: sig .. end
module MakeEngineTable:
(T: CamlinternalMenhirLib.TableFormat.TABLES) =>
CamlinternalMenhirLib.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;