- skiplist-search-level slsprocedure
-
function (result) requires (skiplist? sls) ensures (and (fixnum? result) (fx>= result 0) (fx< result (skiplist-height sls)))
function (result) requires (skiplist? sls) ensures (and (fixnum? result) (fx>= result 0) (fx< result (skiplist-height sls)))