15.9.24.3 Case-lambda signature specifications

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

Record Type: <case-lambda-signature>

Type name of objects representing the type signature of a tuple of lambda clauses.

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

Build and return a new instance of <case-lambda-signature>. The argument clause-signature* must be a non–empty list of <lambda-signature> representing the type specifications of the single lambda clauses.

Function: case-lambda-signature? obj

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

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

Return a non–empty list of <lambda-signature> representing the type specifications of the single lambda clauses.