Die define-record-procedures-Form ist eine Definition für einen neuen Record-Typ. Dabei ist t der Name der Record-Signatur, c der Name des Konstruktors, p der Name des Prädikats, und die si sind die Namen der Selektoren.