Parameter Make.4-E

type 'a env = (ET.state, ET.semantic_value, ET.token) EngineTypes.env