15.9.24.1 Type signatures

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

Record Type: <type-signature>

Type name of objects representing the type of lambda formals.

Function: make-type-signature specs

Build and return a new instance of <type-signature>. The argument specs must be a proper or improper list of <object-type-spec> instances representing the signatures of lambda formals.

Function: type-signature? obj

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

Function: type-signature.object-type-specs des

Return a proper or improper list of <object-type-spec> instances representing the signatures of lambda formals.