district

adj : applicable to or serving the needs of a particular district;

"the district courts"

n : a region marked off for administrative or other purposes

[syn: {territory}]

v : regulate housing in; of certain areas of towns [syn: {zone}]

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)