chickadee » skiplists » skiplist-min

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