15.9.15 Hashtable type specifications

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

Record Type: <hashtable-type-spec>

Name of type specifications for hashtables.

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

Build and return a new instance of <hashtable-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: hashtable-type-spec? obj

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

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

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

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