- skiplist-remove! sls item #!rest itemsprocedure
-
command ((oldcount newcount (lambda (sls . items) (skiplist-count sls)))) requires (and (skiplist? sls) ((list-of? (skiplist-item? sls)) (cons item items))) ensures (fx<= newcount oldcount)
command ((oldcount newcount (lambda (sls . items)
(skiplist-count sls))))
requires (and (skiplist? sls)
((list-of? (skiplist-item? sls)) (cons item items)))
ensures (fx<= newcount oldcount)