4.5.2 Lambda signature descriptors

The following syntactic bindings are exported by the library (vicare system type-descriptors).

Record Type: <lambda-descriptors>

Type name of descriptors representing the type signature of single lambda clauses. It has the following fields:

retvals

An instance of <descriptors-signature> representing the types of values returned by this lambda clause.

argvals

An instance of <descriptors-signature> representing the types of arguments expected by this lambda clause.

Function: make-lambda-descriptors retvals argvals

Build and return a new instance of <lambda-descriptors>.

Function: lambda-descriptors? obj

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

Function: lambda-descriptors.retvals des

Function: lambda-descriptors.argvals des

Accessors for the fields of <lambda-descriptors> instances.