MESG_to_string : (string -> string) ref

SYNOPSIS
Alterable function for formatting HOL_MESG

DESCRIBE

MESG_to_string is a reference to a function for formatting the argument to an application of HOL_MESG.

The default value of MESG_to_string is format_MESG.

EXAMPLE
    - fun alt_MESG_report s = String.concat["Dear HOL user: ", s, "\n"];

    - MESG_to_string := alt_MESG_report;

    - HOL_MESG "Hi there."

    Dear HOL user: Hi there.
    > val it = () : unit

SEEALSO  Feedback,   HOL_MESG,   format_MESG,   ERR_to_string,   WARNING_to_string

HOL  Kananaskis 0