module TableInterpreter: sig .. endmodule 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;