- (define-macro-with-contract name contr (transformer-type proc))syntax
-
hygienic, keys () requires (contract? contr) ensures (begin (push-contract! (car (contr (quote name)))) (define-syntax name (transformer-type ((cdr (contr (quote name))) proc))))