format_MESG : string -> string
STRUCTURE
Feedback
SYNOPSIS
Maps argument of
HOL_MESG
to a string.
DESCRIPTION
The
format_MESG
function maps a string to a string. Usually, the input string is the argument of an invocation of
HOL_MESG
.
format_MESG
is the default function used by
MESG_to_string
.
FAILURE
Never fails.
EXAMPLE
- print (format_MESG "Hello world."); <<HOL message: Hello world.>>
SEEALSO
Feedback
,
MESG_to_string
,
format_ERR
,
format_WARNING
HOL
Kananaskis-14