chickadee » random-access-lists » ral-count

function (result)
requires (ral? ls)
ensures  (and (fixnum? result) (fx>= result 0))