chickadee » skiplists » skiplist-width

skiplist-width slsprocedure
function (result)
requires (skiplist? sls)
ensures  (and (fixnum? result) (fx> result 1))