chickadee » skiplists » skiplist-clear!

command ((oldcount newcount skiplist-count) (oldheight newheight skiplist-height))
requires (skiplist? sls)
ensures  (and (fx= 0 newcount) (fx= 1 newheight))