chickadee » dbc » define-with-contract

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