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