/usr/share/hol88-2.02.19940316/help/ENTRIES/message.doc is in hol88-help 2.02.19940316-35.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 | \DOC message
\TYPE {message : (string -> void)}
\SYNOPSIS
Prints a message to the terminal.
\DESCRIBE
{message s} returns {():void} with the side-effect of printing the string {s}
to the terminal followed by a carriage return. String quotes are not printed
around the string. The text is queued until the pretty-printer decides where
line breaks are needed, or until the queue is explicitly flushed.
\FAILURE
Never fails.
\EXAMPLE
{
#message `This is an example`;;
This is an example
() : void
}
\SEEALSO
print_string, print_tok, print_begin, print_end, print_newline.
\ENDDOC
|