MenhirLib.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