Next: , Previous: , Up: expander specs   [Index]


15.9.13 Condition-object type specifications

The following syntactic bindings are exported by the library (vicare expander).

Record Type: <compound-condition-type-spec>

Name of type specifications for compound condition objects.

Function: make-compound-condition-type-spec component-ots*

Build and return a new instance of <compound-condition-type-spec>. The argument component-ots* must be a non–empty proper list of <object-type-spec> instances representing the type specifications of the component condition–objects.

Function: compound-condition-type-spec? obj

Return #t if obj is an instance of <compound-condition-type-spec>; otherwise return #f.

Function: compound-condition-type-spec.component-ots* ots

Return a non–empty proper list of <object-type-spec> instances representing the type specifications of the component condition–objects.