chickadee » dbc » push-contract!

(push-contract! contract-docu)syntax
hygienic, keys ()
requires documentation of a contract
ensures  (matches? (set! *contracts* (cons contract-docu *contracts*)))