say : string -> unit
STRUCTURE
SYNOPSIS
Print a string.
DESCRIPTION
An application say s prints the string s on the standard output.
FAILURE
Never fails.
COMMENTS
The Standard ML Basis Library structure TextIO offers related functions.
HOL  Kananaskis-14