Next: , Previous: , Up: expander specs   [Index]


15.9.9 List type specifications

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

Record Type: <list-type-spec>

Name of type specifications for lists of heterogeneous values.

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

Build and return a new instance of <list-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 list.

Function: list-type-spec? obj

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

Function: list-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 list.

Function: list-type-spec.length ots

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