chickadee » dbc » contract-condition?

function (result)
requires #t
ensures  (boolean? result)