fail : unit -> 'a
The function fail raises a HOL_ERR with default values. This is useful when detailed error tracking is not necessary.
- fail() handle e => Raise e; Exception raised at ??.??: fail ! Uncaught exception: ! HOL_ERR