fail : unit -> 'a

SYNOPSIS

Raise a HOL_ERR.

DESCRIBE

The function fail raises a HOL_ERR with default values. This is useful when detailed error tracking is not necessary.

FAILURE

Always fails.

EXAMPLE

    - fail() handle e => Raise e;

    Exception raised at ??.??:
    fail
    ! Uncaught exception: 
    ! HOL_ERR

SEEALSO  Feedback,   failwith,   Raise,   HOL_ERR