chickadee » skiplists » skiplist-height

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