4.3.12 Union type descriptors

The following syntactic bindings are exported by the library (vicare system type-descriptors).

Record Type: <union-type-descr>

Name of type descriptors for unions of type descriptors. It has the following fields:

item-des*

A list of type descriptors describing the types of the components.

Function: make-union-type-descr des-list

Build and return a new instance of <union-type-descr>.

Function: union-type-descr? obj

Return #t if obj is an instance of <union-type-descr>; otherwise return #f.

Function: union-type-descr.item-des* des

Accessor for the field of <union-type-descr> instances.