Die define-record-procedures-2-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. Jedes field-spec kann entweder der Name eines Selektors oder ein Paar (id id) aus dem Namen eines Selektors und dem Namen eines Mutators sein.