chickadee » skiplists » skiplist->list

skiplist->list slsprocedure
skiplist->list sls levelprocedure
requires (and (skiplist? sls)
              (fixnum? level)
              (fx<= 0 level) ; default (fx= level 0)
              (fx< level (skiplist-height sls)))
ensures  ((list-of? (skiplist-item? sls)) result)