chickadee » random-access-lists » ral-null?

ral-null? lsprocedure
function (result)
requires (ral? ls)
ensures  (boolean? result)