2.10.11. ТУПИКИ
Вычисление хвоста
$fail
всегда дает
$fail(0)
, т.е. неуспех серьезности
0
.
Env,m,St |- $fail => $fail(0),St