The services a run of T needs from the scenario: those of all its runners but Entities, which the world provides. A key may hold any operation of T, so no type tells which runner a run reaches (decision 0189).
T
Entities
The services a run of
Tneeds from the scenario: those of all its runners butEntities, which the world provides. A key may hold any operation ofT, so no type tells which runner a run reaches (decision 0189).