module Engine:sig..end
module Make: functor (T : CamlinternalMenhirLib.EngineTypes.TABLE) -> 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