chickadee » dbc » exit-dbc-with

hygienic, keys ()
requires (symbol? name)
ensures  saves *contracts* in dispatcher name