module TableInterpreter:sig
..end
module MakeEngineTable:
functor (
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