chickadee » dbc » exit-dbc-with

(exit-dbc-with name)syntax
hygienic, keys ()
requires (symbol? name)
ensures  saves *contracts* in dispatcher name