assert

This procedure test if the given condition is true. If the given codnition fails (it is not true), then an assertion message is written to the standard debug output. More information about debug output can be found with the definition of debug procedure. The sample assetion message looks like this:

See also: debug