chickadee » skiplists » skiplist-filter

skiplist-filter sls ok?procedure
function (result)
requires (and (skiplist? sls) (procedure? ok?) "(boolean? (ok? x))")
ensures  (skiplist? result)