4.5.3 Case-lambda signature descriptors

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

Record Type: <case-lambda-descriptors>

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

clause-signature*

A list of <lambda-descriptors> representing the type signatures of the clauses.

Function: make-case-lambda-descriptors clause-signature*

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

Function: case-lambda-descriptors? obj

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

Function: case-lambda-descriptors.clause-signature* des

Accessor for the field of <case-lambda-descriptors> instances.