15.9.7 Pair type specifications

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

Record Type: <pair-type-spec>

Name of type specifications for pairs of heterogeneous values.

Function: make-pair-type-spec car-ots cdr-ots

Build and return a new instance of <pair-type-spec>. The arguments car-ots and cdr-ots must be instances of <object-type-spec> representing the car and cdr specifications, respectively.

Function: pair-type-spec? obj

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

Function: pair-type-spec.car-ots ots

Function: pair-type-spec.cdr-ots ots

Return instances of <object-type-spec> representing the car and cdr specifications, respectively.