15.9.19 Intersection type specifications

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

Record Type: <intersection-type-spec>

Name of type specifications for intersections of type specifications.

Function: intersection-of-type-specs component-ots*

Build and return a new instance of <object-type-spec> representing the intersection between the given type specifications. The returned value may or may not be an instance of <intersection-type-spec>.

The argument component-ots* must be a non–empty proper list of <object-type-spec> instances representing the type specifications.

Function: intersection-type-spec? obj

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

Function: intersection-type-spec.item-ots* ots

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