15.9.16 Association list type specifications

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

Record Type: <alist-type-spec>

Name of type specifications for association lists.

Function: make-alist-type-spec key-ots val-ots

Build and return a new instance of <alist-type-spec>. The arguments key-ots and val-ots must be instances of <object-type-spec> representing the type specifications of keys and values, respectively.

Function: alist-type-spec? obj

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

Function: alist-type-spec.key-ots ots

Function: alist-type-spec.val-ots ots

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