chickadee » dbc » contract-location

contract-location cndprocedure
function (result)
requires (contract-condition? cnd)
ensures  (symbol? result)