chickadee » dbc » contract-text

contract-text cndprocedure
function (result)
requires (contract-condition? cnd)
ensures  (string? result)