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