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

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