chickadee » random-access-lists » ral-set!

command ((old new (lambda (ls place item) (ral-ref ls place))))
requires (and (ral? ls) ((ral-item? ls) item)
              (fixnum? place) (fx>= place 0)
              (fx< place (ral-count ls)))
ensures  (equal? new item)