2.10.17. РЕЗУЛЬТАТНЫЕ ВЫРАЖЕНИЯ КАК ИСТОЧНИКИ

Источник вида Re означает, что следует попытаться вычислить Re, и то, что получится, считать результатом вычисления источника.

Env,St |- Re => X,St'

-----------------------

Env,m,St |- Re => X,St'