chickadee » dbc » macro-contract

(macro-contract hyg ... (key ...) (pat fender matcher) ....)syntax
hygienic, keys ()
requires (and (nested-lambda-list? pat) (procedure? matcher))
ensures  (contract? result)