strict
A function f is strict in an argument if
f bottom ◦ bottom
(See {bottom}). In other words, the result depends on the
argument so evaluation of an application of the function
cannot terminate until evaluation of the argument has
terminated.
If the result is only {bottom} when the argument is bottom
then the function is also {bottom-unique}.
See also {strict evaluation}, {hyperstrict}.
(1995-01-25)