The keyword fail denotes one of the distinguished values of verdicttype.
Related keywords:
Example 1:
var verdicttype v_moeta := fail;
The variable called v_moeta gets the initial value fail.
BNF definition of fail