Commit 66cc0860 authored by POTTIER Francois's avatar POTTIER Francois

[Engine]: publish the definition of the type [env],

as it will be needed in [InspectionTableInterpreter].
parent 0497fe23
......@@ -19,3 +19,4 @@ module Make (T : 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 env = (T.state, T.semantic_value, T.token) EngineTypes.env
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment