On this page:
define-record-procedures-parametric-2

3.2 define-record-procedures-parametric-2

(define-record-procedures-parametric-2 t cc c p (field-spec1 ...))
Diese Form ist wie define-record-procedures-2, nur parametrisch wie define-record-procedures-parametric. Außerdem werden die Verträge für die Feldinhalte, anders als bei define-record-procedures-parametric, sofort bei der Konstruktion überprüft und nicht erst beim Aufruf eines Selektors.