chickadee » random-access-lists » ral-cursor-next

function (result)
requires (and (ral? ls) (fixnum? k)
              (fx>= k 0) (fx< k (ral-height ls)))
ensures  (or (null? result) (ral-node? result))