chickadee » dbc » nested-lambda-list?

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