- skiplist width max-height item? order #!rest ordersprocedure
- skiplist max-height item? order #!rest ordersprocedure
- skiplist item? order #!rest ordersprocedure
-
function (result) requires (and (fixnum? width) (fx> width 1) ; default (fx= width 2) (fixnum? max-height) ; default (fx= max-height 10) (fx> max-height 1) (procedure? item?) (item? item) (procedure? order) "(fixnum? (order item? item?))" ((list-of? procedure?) orders) " like order, last one might be dups") ensures (skiplist? result)