say : string -> unit
STRUCTURE
Lib
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