chickadee » skiplists » skiplist-found

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