chickadee » skiplists » skiplist?

skiplist? xprprocedure
function (result)
requires #t
ensures  (boolean? result)