15.9.24.2 Lambda signature specifications

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

Record Type: <lambda-signature>

Type name of objects representing the type signature of single lambda clauses.

Function: make-lambda-signature retvals argvals

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

The argument retvals must be an instance of <type-signature> representing the types of values returned by this lambda clause.

The argument argvals must be an instance of <type-signature> representing the types of arguments expected by this lambda clause.

Function: lambda-signature? obj

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

Function: lambda-signature.retvals des

Return an instance of <type-signature> representing the types of values returned by this lambda clause.

Function: lambda-signature.argvals des

Return an instance of <type-signature> representing the types of arguments expected by this lambda clause.