chickadee » skiplists » skiplist-null?

skiplist-null? slsprocedure
function (result)
requires (skiplist? sls)
ensures  (boolean? result)