- 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)