chickadee » dbc » make-contract-condition

make-contract-condition location text #!rest argumentsprocedure
function (result)
requires (and (symbol? location) (string? text))
ensures  (condition? result)