15.3.5.3 Imported syntactic bindings: non–variable macros

A syntactic binding representing an imported keyword binding with a non–variable transformer has descriptor with format:

(global-macro . (?library . ?loc))

where: ?library is a record of type library describing the library from which the macro is exported; ?loc is the storage location gensym containing the transformer function in its value field.

Syntactic bindings of this type are established by define-syntax, let-syntax and similar when the result of evaluating their right–hand side expression is a function.