chickadee » random-access-lists » ral-place

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