chickadee » dbc » contract

(contract (result ....) (pat pre post) ....)syntax
hygienic, keys ()
requires (lambda-list? pat)
ensures  (contract? result)