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

ral-place-next ls kprocedure
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)))