15.9.2 Retrieving type specifications

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

Function: make-type-specification annotation

Build and return a new object–type specification object. annotation must be a syntax object representing the type annotation. This function allows us to define type annotations as follows:

(import (only (psyntax expander)
              make-type-specification))

(define ots
  (make-type-specification #'<string>))