15.9.18 Union type specifications

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

Record Type: <union-type-spec>

Name of type specifications for unions of type specifications.

Function: union-of-type-specs ots0 ots …

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

Function: union-type-spec? obj

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

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

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