- skiplist-restructure sls width max-heightprocedure
-
function (result) requires (and (skiplist? sls) (fixnum? width) (fx> width 1) (fixnum? max-height) (fx> max-height 1)) ensures (skiplist? result)
function (result)
requires (and (skiplist? sls) (fixnum? width) (fx> width 1)
(fixnum? max-height) (fx> max-height 1))
ensures (skiplist? result)