15.9.17 Closure object type specifications

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

Record Type: <closure-type-spec>

Name of type specifications for closure objects.

Function: make-closure-type-spec signature

Build and return a new instance of <closure-type-spec>. The argument signature must be an instance of <case-lambda-signature> representing the type signatures of the closure’s clauses.

Function: closure-type-spec? obj

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

Function: closure-type-spec.signature des

Return an instance of <case-lambda-signature> representing the type signatures of the closure’s clauses.