chickadee » dbc » contract-arguments

contract-arguments cndprocedure
function (result)
requires (contract-condition? cnd)
ensures  (list? result)