chickadee » dbc » lambda-list?

lambda-list? xprprocedure
function (result)
requires #t
ensures  (boolean? result)