Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
fail : unit -> 'a
SYNOPSIS
Fail with empty string.
DESCRIPTION
In HOL Light, the class of exceptions Failure "string" is used consistently.
This makes it easy to catch all HOL-related exceptions by a Failure _ pattern
without accidentally catching others. In general, the failure can be generated
by failwith "string", but the special case of an empty string is bound to the
function fail.
FAILURE CONDITIONS
Always fails.
USES
Useful when there is no intention to propagate helpful information about the
cause of the exception, for example because you know it will be caught and
handled without discrimination.