chickadee » dbc » init-dbc

(init-dbc)syntax
unhygienic, exports *contracts* keys ()
requires #t
ensures  initializes exception handler