chickadee » random-access-lists » ral?

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