6.22.1 The <condition> type

Core Type: <condition>

Parent Type: <record>

Type of condition objects. This is the root of all the condition object types, both simple and compound. All the simple condition types are derived from &condition.

Constructor on <condition>: <condition> type-constructor cnd

Validate cnd as object of type <condition> and return it.

Type predicate on <condition>: <boolean> type-predicate obj

The type predicate is condition?.

Methods

Method on <condition>: <void> print this

Method on <condition>: <void> print this {P <textual-output-port>}

Apply print-condition to the instance.