chickadee » dbc » contract-arguments

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