15.9.8 Pair-of type specifications

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

Record Type: <pair-of-type-spec>

Name of type specifications for pairs of homogeneous values.

Function: make-pair-of-type-spec item-ots

Build and return a new instance of <pair-of-type-spec>. The argument item-ots must be an instance of <object-type-spec> representing the type specification of both the car and cdr.

Function: pair-of-type-spec? obj

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

Function: pair-of-type-spec.item-ots des

Return an instance of <object-type-spec> representing the type specification of both the car and cdr.