chickadee » dbc » contract?

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