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

command ((oldcount newcount (lambda (ls place) (ral-count ls))))
requires (ral? ls)
ensures  (and (fx= newcount (fx- oldcount 1)))