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

HOL  Kananaskis 0