chickadee » skiplists » skiplist-map

skiplist-map sls fnprocedure
skiplist-map sls fn order #!rest ordersprocedure
skiplist-map sls fn widthprocedure
skiplist-map sls fn width order #!rest ordersprocedure
function (result)
requires (and (skiplist? sls)
              (procedure? fn)
              "((skiplist-item? sls) (fn x))")
ensures  (skiplist? result)

(skiplist-map sls fn item? order . orders)
requires (and (skiplist? sls)
              (procedure? fn)
              (procedure? item?)
              (((list-of? procedure?) (cons order orders))))
ensures  (skiplist? result)