chickadee » contracts » define-with-contract

(define-with-contract name (contract (name . args) clause ...) (lambda args . body))syntax