Failures

Syntax

Failure =
     "$fail".

Evaluation

The evaluation of the rest $fail always returns the failure $fail(0).

     Env,m,St |- $fail => $fail(0),St