chickadee » skiplists » skiplist-orders

skiplist-orders slsprocedure
function (result)
requires (skiplist? sls)
ensures  ((list-of? procedure?) result)