4.3.13 Intersection type descriptors

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

Record Type: <intersection-type-descr>

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

item-des*

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

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

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

Function: intersection-type-descr? obj

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

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

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