CamlinternalMenhirLib.Enginemodule Make
(T : EngineTypes.TABLE) :
EngineTypes.ENGINE
with type state = T.state
and type token = T.token
and type semantic_value = T.semantic_value
and type production = T.production
and type 'a env = (T.state, T.semantic_value, T.token) EngineTypes.env