HOL: Reference

say

Lib.say : string -> unit

Print a string.

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.