15.9.20 Complement type specifications

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

Record Type: <complement-type-spec>

Name of type specifications for the complement of a type specification.

Function: make-complement-type-spec item-ots

Build and return a new instance of <complement-type-spec>. The argument item-ots must be an instance of <object-type-spec> representing the type specification to be complemented.

Function: complement-type-spec? obj

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

Function: complement-type-spec.item-ots des

Return an instance of <object-type-spec> representing the type specification to be complemented.