chickadee » skiplists » skiplist-max-height

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