chickadee » random-access-lists » ral-ref

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