15.3.5.7 Imported syntactic bindings: record–type names

A syntactic binding representing a keyword binding imported from a library, but not established by the boot image, associated to a R6RS’s record–type name has syntactic binding descriptor with one of the formats:

($record-type-name . ?record-type-spec)

where ?record-type-spec is a record of type <r6rs-record-type-spec>. This record references the syntactic identifiers bound to the record–type descriptor, the record–constructor descriptor and other values.