15.9.11 Vector type specifications

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

Record Type: <vector-type-spec>

Name of type specifications for vectors of heterogeneous values.

Function: make-vector-type-spec item-ots*

Build and return a new instance of <vector-type-spec>. The argument item-ots* must be a proper, non–empty list of <object-type-spec> instances representing the type specifications of the items in the vector.

Function: vector-type-spec? obj

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

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

Return a proper, non–empty list of <object-type-spec> instances representing the type specifications of the items in the vector.

Function: vector-type-spec.length ots

Return the length of the vector, a non–negative exact integer.