chickadee » skiplists » skiplist-max

skiplist-max slsprocedure
function (result)
requires (skiplist? sls)
ensures  ((list-of? (skiplist-item? sls)) result)