mk_HOL_ERR : string -> string -> string -> exn
STRUCTURE
Feedback
SYNOPSIS
Creates an application of HOL_ERR.
DESCRIPTION
mk_HOL_ERR provides a curried interface to the standard HOL_ERR exception; experience has shown that this is often more convenient.
FAILURE
Never fails.

EXAMPLE
- mk_HOL_ERR "Module" "function" "message"

> val it = HOL_ERR : exn

- print(exn_to_string it);

Exception raised at Module.function:
message
> val it = () : unit

SEEALSO
Feedback, HOL_ERR, error_record
HOL  Trindemossen-1