8916
#hash(((def ((lib "data/splay-tree.rkt") splay-tree-iterate-greatest/<?)) . ((6142 . 5))) ((def ((lib "data/skip-list.rkt") skip-list-iterate-greatest)) . ((9416 . 4))) ((def ((lib "data/integer-set.rkt") set-integer-set-contents!)) . ((13785 . 4))) ((def ((lib "data/gvector.rkt") make-gvector)) . ((563 . 3))) ((def ((lib "data/interval-map.rkt") interval-map-ref)) . ((9969 . 7))) ((def ((lib "data/splay-tree.rkt") splay-tree-expand!)) . ((5561 . 5))) ((def ((lib "data/interval-map.rkt") interval-map-set!)) . ((10230 . 9))) ((def ((lib "data/splay-tree.rkt") splay-tree-iterate-least)) . ((5703 . 3))) ((def ((lib "data/order.rkt") ordered-dict?)) . ((1983 . 3))) ((def ((lib "data/order.rkt") dict-iterate-least/>?)) . ((2262 . 5))) ((def ((lib "data/heap.rkt") vector->heap)) . ((13308 . 4))) ((def ((lib "data/order.rkt") gen:ordered-dict)) . ((1834 . 2))) ((def ((lib "data/integer-set.rkt") count)) . ((15218 . 3))) ((def ((lib "data/queue.rkt") dequeue!)) . ((108 . 3))) ((def ((lib "data/interval-map.rkt") interval-map-remove!)) . ((10955 . 7))) ((def ((lib "data/interval-map.rkt") interval-map-contract!)) . ((11227 . 7))) ((def ((lib "data/queue.rkt") queue-empty?)) . ((312 . 3))) ((def ((lib "data/order.rkt") dict-iterate-greatest/<=?)) . ((2671 . 5))) ((def ((lib "data/gvector.rkt") gvector-ref)) . ((792 . 5))) ((def ((lib "data/interval-map.rkt") interval-map-iter?)) . ((12758 . 3))) ((def ((lib "data/splay-tree.rkt") splay-tree-iterate-key)) . ((5082 . 4))) ((def ((lib "data/splay-tree.rkt") splay-tree-count)) . ((4769 . 3))) ((def ((lib "data/skip-list.rkt") skip-list?)) . ((7110 . 3))) ((def ((lib "data/gvector.rkt") gvector->vector)) . ((1566 . 3))) ((def ((lib "data/skip-list.rkt") skip-list-contract!)) . ((8358 . 5))) ((form ((lib "data/gvector.rkt") for*/gvector)) . ((1745 . 2))) ((def ((lib "data/heap.rkt") heap-copy)) . ((13473 . 3))) ((def ((lib "data/heap.rkt") heap-min)) . ((13198 . 3))) ((def ((lib "data/skip-list.rkt") skip-list-iterate-least)) . ((9307 . 3))) ((def ((lib "data/order.rkt") order-domain-contract)) . ((3429 . 3))) ((def ((lib "data/order.rkt") real-order)) . ((3660 . 2))) ((def ((lib "data/skip-list.rkt") adjustable-skip-list?)) . ((7166 . 3))) ((def ((lib "data/splay-tree.rkt") splay-tree-iterate-least/>=?)) . ((6018 . 5))) ((def ((lib "data/order.rkt") order-comparator)) . ((3340 . 3))) ((def ((lib "data/skip-list.rkt") skip-list-expand!)) . ((8516 . 5))) ((def ((lib "data/gvector.rkt") in-gvector)) . ((1631 . 3))) ((def ((lib "data/integer-set.rkt") union)) . ((14402 . 4))) ((def ((lib "data/integer-set.rkt") split)) . ((14490 . 4))) ((def ((lib "data/queue.rkt") make-queue)) . ((0 . 2))) ((def ((lib "data/splay-tree.rkt") splay-tree-contract!)) . ((5417 . 5))) ((def ((lib "data/heap.rkt") heap-count)) . ((12949 . 3))) ((def ((lib "data/splay-tree.rkt") splay-tree-iterate-least/>?)) . ((5896 . 4))) ((def ((lib "data/interval-map.rkt") interval-map-iterate-value)) . ((12578 . 5))) ((def ((lib "data/splay-tree.rkt") make-splay-tree)) . ((3717 . 7))) ((def ((lib "data/skip-list.rkt") make-skip-list)) . ((6532 . 7))) ((def ((lib "data/order.rkt") dict-iterate-greatest/<?)) . ((2533 . 5))) ((def ((lib "data/skip-list.rkt") skip-list->list)) . ((9590 . 3))) ((def ((lib "data/heap.rkt") heap->vector)) . ((13416 . 3))) ((def ((lib "data/integer-set.rkt") integer-set?)) . ((13894 . 3))) ((def ((lib "data/splay-tree.rkt") splay-tree-iterate-first)) . ((4855 . 3))) ((def ((lib "data/order.rkt") dict-iterate-least)) . ((2042 . 3))) ((def ((lib "data/splay-tree.rkt") adjustable-splay-tree?)) . ((4348 . 3))) ((form ((lib "data/gvector.rkt") for/gvector)) . ((1693 . 2))) ((def ((lib "data/integer-set.rkt") intersect)) . ((14219 . 4))) ((def ((lib "data/gvector.rkt") gvector-set!)) . ((1042 . 6))) ((def ((lib "data/order.rkt") order-=?)) . ((3502 . 3))) ((def ((lib "data/skip-list.rkt") skip-list-iterate-first)) . ((7730 . 3))) ((def ((lib "data/queue.rkt") nonempty-queue/c)) . ((521 . 2))) ((def ((lib "data/splay-tree.rkt") splay-tree-iterate-greatest/<=?)) . ((6268 . 5))) ((def ((lib "data/splay-tree.rkt") splay-tree-iter?)) . ((6395 . 3))) ((def ((lib "data/gvector.rkt") gvector?)) . ((738 . 3))) ((def ((lib "data/integer-set.rkt") symmetric-difference)) . ((14704 . 4))) ((def ((lib "data/order.rkt") order-<?)) . ((3581 . 3))) ((def ((lib "data/interval-map.rkt") interval-map-iterate-key)) . ((12400 . 5))) ((def ((lib "data/integer-set.rkt") complement)) . ((14578 . 5))) ((def ((lib "data/order.rkt") ordering/c)) . ((1798 . 2))) ((def ((lib "data/gvector.rkt") gvector-add!)) . ((950 . 4))) ((def ((lib "data/splay-tree.rkt") splay-tree-iterate-greatest)) . ((5798 . 3))) ((def ((lib "data/heap.rkt") heap-sort!)) . ((13525 . 4))) ((def ((lib "data/gvector.rkt") gvector-count)) . ((1484 . 3))) ((def ((lib "data/gvector.rkt") gvector)) . ((674 . 3))) ((def ((lib "data/skip-list.rkt") skip-list-remove!)) . ((7526 . 4))) ((def ((lib "data/skip-list.rkt") skip-list-iterate-least/>?)) . ((8672 . 5))) ((def ((lib "data/interval-map.rkt") interval-map-update*!)) . ((10524 . 11))) ((def ((lib "data/queue.rkt") in-queue)) . ((424 . 3))) ((def ((lib "data/queue.rkt") queue/c)) . ((488 . 2))) ((def ((lib "data/skip-list.rkt") skip-list-iterate-greatest/<=?)) . ((9125 . 6))) ((def ((lib "data/heap.rkt") heap-add!)) . ((13023 . 4))) ((def ((lib "data/skip-list.rkt") skip-list-iter?)) . ((9529 . 3))) ((def ((lib "data/integer-set.rkt") make-range)) . ((14014 . 7))) ((def ((lib "data/integer-set.rkt") get-integer)) . ((14895 . 3))) ((def ((lib "data/splay-tree.rkt") splay-tree-remove-range!)) . ((5298 . 5))) ((def ((lib "data/skip-list.rkt") skip-list-iterate-greatest/<?)) . ((8945 . 6))) ((def ((lib "data/interval-map.rkt") interval-map-cons*!)) . ((11713 . 11))) ((def ((lib "data/splay-tree.rkt") splay-tree-set!)) . ((4565 . 5))) ((def ((lib "data/skip-list.rkt") skip-list-iterate-value)) . ((8103 . 4))) ((def ((lib "data/splay-tree.rkt") splay-tree-iterate-next)) . ((4951 . 4))) ((def ((lib "data/order.rkt") prop:ordered-dict)) . ((1867 . 3))) ((def ((lib "data/integer-set.rkt") make-integer-set)) . ((13623 . 3))) ((def ((lib "data/order.rkt") dict-iterate-least/>=?)) . ((2397 . 5))) ((def ((lib "data/integer-set.rkt") member?)) . ((14807 . 4))) ((def ((lib "data/interval-map.rkt") interval-map-expand!)) . ((11473 . 7))) ((def ((lib "data/queue.rkt") queue-length)) . ((244 . 3))) ((def ((lib "data/splay-tree.rkt") make-adjustable-splay-tree)) . ((4044 . 6))) ((def ((lib "data/order.rkt") dict-iterate-greatest)) . ((2150 . 4))) ((def ((lib "data/interval-map.rkt") interval-map?)) . ((9910 . 3))) ((def ((lib "data/splay-tree.rkt") splay-tree-ref)) . ((4416 . 5))) ((def ((lib "data/interval-map.rkt") interval-map-iterate-first)) . ((12074 . 4))) ((def ((lib "data/heap.rkt") make-heap)) . ((12822 . 3))) ((def ((lib "data/heap.rkt") heap-remove-min!)) . ((13249 . 3))) ((def ((lib "data/integer-set.rkt") integer-set-contents)) . ((13704 . 3))) ((def ((lib "data/interval-map.rkt") interval-map-iterate-next)) . ((12199 . 6))) ((def ((lib "data/integer-set.rkt") foldr)) . ((14995 . 5))) ((def ((lib "data/splay-tree.rkt") splay-tree->list)) . ((6457 . 3))) ((def ((lib "data/queue.rkt") queue->list)) . ((170 . 3))) ((def ((lib "data/order.rkt") datum-order)) . ((3688 . 2))) ((def ((lib "data/skip-list.rkt") make-adjustable-skip-list)) . ((6855 . 6))) ((def ((lib "data/gvector.rkt") gvector-remove!)) . ((1245 . 5))) ((def ((lib "data/queue.rkt") queue?)) . ((372 . 3))) ((def ((lib "data/integer-set.rkt") well-formed-set?)) . ((13952 . 3))) ((def ((lib "data/skip-list.rkt") skip-list-remove-range!)) . ((8225 . 5))) ((def ((lib "data/integer-set.rkt") subset?)) . ((15294 . 4))) ((def ((lib "data/order.rkt") order?)) . ((3288 . 3))) ((def ((lib "data/skip-list.rkt") skip-list-set!)) . ((7398 . 5))) ((def ((lib "data/skip-list.rkt") skip-list-iterate-least/>=?)) . ((8808 . 5))) ((def ((lib "data/splay-tree.rkt") splay-tree?)) . ((4291 . 3))) ((def ((lib "data/heap.rkt") heap-add-all!)) . ((13099 . 4))) ((def ((lib "data/splay-tree.rkt") splay-tree-iterate-value)) . ((5189 . 4))) ((def ((lib "data/splay-tree.rkt") splay-tree-remove!)) . ((4679 . 4))) ((def ((lib "data/gvector.rkt") gvector-remove-last!)) . ((1416 . 3))) ((def ((lib "data/skip-list.rkt") skip-list-count)) . ((7630 . 3))) ((def ((lib "data/integer-set.rkt") partition)) . ((15137 . 3))) ((def ((lib "data/queue.rkt") enqueue!)) . ((36 . 4))) ((def ((lib "data/skip-list.rkt") skip-list-iterate-key)) . ((7983 . 4))) ((def ((lib "data/skip-list.rkt") skip-list-ref)) . ((7233 . 5))) ((def ((lib "data/interval-map.rkt") make-interval-map)) . ((9679 . 6))) ((def ((lib "data/integer-set.rkt") subtract)) . ((14311 . 4))) ((def ((lib "data/heap.rkt") heap?)) . ((12898 . 3))) ((def ((lib "data/skip-list.rkt") skip-list-iterate-next)) . ((7839 . 5))) ((def ((lib "data/order.rkt") order)) . ((2810 . 12))))
procedure
(make-queue) -> queue/c
procedure
(enqueue! q v) -> void?
  q : queue/c
  v : any/c
procedure
(dequeue! q) -> any/c
  q : nonempty-queue/c
procedure
(queue->list queue) -> (listof any/c)
  queue : queue/c
procedure
(queue-length queue) -> integer?
  queue : queue/c
procedure
(queue-empty? q) -> boolean?
  q : queue/c
procedure
(queue? v) -> boolean?
  v : any/c
procedure
(in-queue queue) -> sequence?
  queue : queue?
value
queue/c : flat-contract?
value
nonempty-queue/c : flat-contract?
procedure
(make-gvector [#:capacity capacity]) -> gvector?
  capacity : exact-positive-integer? = 10
procedure
(gvector elem ...) -> gvector?
  elem : any/c
procedure
(gvector? x) -> boolean?
  x : any/c
procedure
(gvector-ref gv index [default]) -> any/c
  gv : gvector?
  index : exact-nonnegative-integer?
  default : any/c = (error ....)
procedure
(gvector-add! gv value ...) -> void?
  gv : gvector?
  value : any/c
procedure
(gvector-set! gv index value) -> void?
  gv : gvector?
  index : (and/c exact-nonnegative-integer?
                 (</c (+ 1 (gvector-count gv))))
  value : any/c
procedure
(gvector-remove! gv index) -> void?
  gv : gvector?
  index : (and/c exact-nonnegative-integer?
                 (</c (gvector-count gv)))
procedure
(gvector-remove-last! gv) -> any/c
  gv : gvector?
procedure
(gvector-count gv) -> exact-nonnegative-integer?
  gv : gvector?
procedure
(gvector->vector gv) -> vector?
  gv : gvector?
procedure
(in-gvector gv) -> sequence?
  gv : gvector?
syntax
(for/gvector (for-clause ...) body ...+)
syntax
(for*/gvector (for-clause ...) body ...+)
value
ordering/c : flat-contract?
value
gen:ordered-dict : any/c
value
prop:ordered-dict : (struct-type-property/c
                     (vectorof e/c e/c s/c s/c s/c s/c))
procedure
(ordered-dict? x) -> boolean?
  x : any/c
procedure
(dict-iterate-least dict) -> (or/c (dict-iter-contract dict) #f)
  dict : ordered-dict?
procedure
(dict-iterate-greatest dict)
 -> (or/c (dict-iter-contract dict) #f)
  dict : ordered-dict?
procedure
(dict-iterate-least/>? dict key)
 -> (or/c (dict-iter-contract dict) #f)
  dict : ordered-dict?
  key : any/c
procedure
(dict-iterate-least/>=? dict key)
 -> (or/c (dict-iter-contract dict) #f)
  dict : ordered-dict?
  key : any/c
procedure
(dict-iterate-greatest/<? dict key)
 -> (or/c (dict-iter-contract dict) #f)
  dict : ordered-dict?
  key : any/c
procedure
(dict-iterate-greatest/<=? dict key)
 -> (or/c (dict-iter-contract dict) #f)
  dict : ordered-dict?
  key : any/c
procedure
(order name domain-contract comparator)
 -> (and/c order? procedure?)
  name : symbol?
  domain-contract : contract?
  comparator : (-> any/c any/c ordering/c)
(order name domain-contract =? <? [>?]) -> (and/c order? procedure?)
  name : symbol?
  domain-contract : contract?
  =? : (-> any/c any/c boolean?)
  <? : (-> any/c any/c boolean?)
  >? : (-> any/c any/c boolean?) = (lambda (x y) (<? y x))
procedure
(order? x) -> boolean?
  x : any/c
procedure
(order-comparator ord) -> (-> any/c any/c ordering/c)
  ord : order?
procedure
(order-domain-contract ord) -> contract?
  ord : order?
procedure
(order-=? ord) -> (-> any/c any/c boolean?)
  ord : order?
procedure
(order-<? ord) -> (-> any/c any/c boolean?)
  ord : order?
value
real-order : order?
value
datum-order : order?
procedure
(make-splay-tree [ord                                   
                  #:key-contract key-contract           
                  #:value-contract value-contract]) -> splay-tree?
  ord : order? = datum-order
  key-contract : contract? = any/c
  value-contract : contract? = any/c
procedure
(make-adjustable-splay-tree [#:key-contract key-contract       
                             #:value-contract value-contract]) 
 -> splay-tree?
  key-contract : contract? = any/c
  value-contract : contract? = any/c
procedure
(splay-tree? x) -> boolean?
  x : any/c
procedure
(adjustable-splay-tree? x) -> boolean?
  x : any/c
procedure
(splay-tree-ref s key [default]) -> any
  s : splay-tree?
  key : any/c
  default : any/c = (lambda () (error ....))
procedure
(splay-tree-set! s key value) -> void?
  s : splay-tree?
  key : any/c
  value : any/c
procedure
(splay-tree-remove! s key) -> void?
  s : splay-tree?
  key : any/c
procedure
(splay-tree-count s) -> exact-nonnegative-integer?
  s : splay-tree?
procedure
(splay-tree-iterate-first s) -> (or/c #f splay-tree-iter?)
  s : splay-tree?
procedure
(splay-tree-iterate-next s iter) -> (or/c #f splay-tree-iter?)
  s : splay-tree?
  iter : splay-tree-iter?
procedure
(splay-tree-iterate-key s iter) -> any/c
  s : splay-tree?
  iter : splay-tree-iter?
procedure
(splay-tree-iterate-value s iter) -> any/c
  s : splay-tree?
  iter : splay-tree-iter?
procedure
(splay-tree-remove-range! s from to) -> void?
  s : splay-tree?
  from : any/c
  to : any/c
procedure
(splay-tree-contract! s from to) -> void?
  s : adjustable-splay-tree?
  from : exact-integer?
  to : exact-integer?
procedure
(splay-tree-expand! s from to) -> void?
  s : adjustable-splay-tree?
  from : exact-integer?
  to : exact-integer?
procedure
(splay-tree-iterate-least s) -> (or/c #f splay-tree-iter?)
  s : splay-tree
procedure
(splay-tree-iterate-greatest s) -> (or/c #f splay-tree-iter?)
  s : splay-tree
procedure
(splay-tree-iterate-least/>? s key) -> (or/c #f splay-tree-iter?)
  s : splay-tree?
  key : any/c
procedure
(splay-tree-iterate-least/>=? s key)
 -> (or/c #f splay-tree-iter?)
  s : splay-tree?
  key : any/c
procedure
(splay-tree-iterate-greatest/<? s key)
 -> (or/c #f splay-tree-iter?)
  s : splay-tree?
  key : any/c
procedure
(splay-tree-iterate-greatest/<=? s key)
 -> (or/c #f splay-tree-iter?)
  s : splay-tree?
  key : any/c
procedure
(splay-tree-iter? x) -> boolean?
  x : any/c
procedure
(splay-tree->list s) -> (listof pair?)
  s : splay-tree?
procedure
(make-skip-list [ord                                   
                 #:key-contract key-contract           
                 #:value-contract value-contract]) -> skip-list?
  ord : order? = datum-order
  key-contract : contract? = any/c
  value-contract : contract? = any/c
procedure
(make-adjustable-skip-list [#:key-contract key-contract       
                            #:value-contract value-contract]) 
 -> adjustable-skip-list?
  key-contract : contract? = any/c
  value-contract : contract? = any/c
procedure
(skip-list? v) -> boolean?
  v : any/c
procedure
(adjustable-skip-list? v) -> boolean?
  v : any/c
procedure
(skip-list-ref skip-list key [default]) -> any/c
  skip-list : skip-list?
  key : any/c
  default : any/c = (lambda () (error ....))
procedure
(skip-list-set! skip-list key value) -> void?
  skip-list : skip-list?
  key : any/c
  value : any/c
procedure
(skip-list-remove! skip-list key) -> void?
  skip-list : skip-list?
  key : any/c
procedure
(skip-list-count skip-list) -> exact-nonnegative-integer?
  skip-list : skip-list?
procedure
(skip-list-iterate-first skip-list) -> (or/c skip-list-iter? #f)
  skip-list : skip-list?
procedure
(skip-list-iterate-next skip-list iter)
 -> (or/c skip-list-iter? #f)
  skip-list : skip-list?
  iter : skip-list-iter?
procedure
(skip-list-iterate-key skip-list iter) -> any/c
  skip-list : skip-list?
  iter : skip-list-iter?
procedure
(skip-list-iterate-value skip-list iter) -> any/c
  skip-list : skip-list?
  iter : skip-list-iter?
procedure
(skip-list-remove-range! skip-list from to) -> void?
  skip-list : skip-list?
  from : any/c
  to : any/c
procedure
(skip-list-contract! skip-list from to) -> void?
  skip-list : adjustable-skip-list?
  from : exact-integer?
  to : exact-integer?
procedure
(skip-list-expand! skip-list from to) -> void?
  skip-list : adjustable-skip-list?
  from : exact-integer?
  to : exact-integer?
procedure
(skip-list-iterate-least/>? skip-list key)
 -> (or/c skip-list-iter? #f)
  skip-list : skip-list?
  key : any/c
procedure
(skip-list-iterate-least/>=? skip-list key)
 -> (or/c skip-list-iter? #f)
  skip-list : skip-list?
  key : any/c
procedure
(skip-list-iterate-greatest/<? skip-list 
                               key)      
 -> (or/c skip-list-iter? #f)
  skip-list : skip-list?
  key : any/c
procedure
(skip-list-iterate-greatest/<=? skip-list 
                                key)      
 -> (or/c skip-list-iter? #f)
  skip-list : skip-list?
  key : any/c
procedure
(skip-list-iterate-least skip-list) -> (or/c skip-list-iter? #f)
  skip-list : skip-list?
procedure
(skip-list-iterate-greatest skip-list)
 -> (or/c skip-list-iter? #f)
  skip-list : skip-list?
procedure
(skip-list-iter? v) -> boolean?
  v : any/c
procedure
(skip-list->list skip-list) -> (listof pair?)
  skip-list : skip-list?
procedure
(make-interval-map [#:key-contract key-contract       
                    #:value-contract value-contract]) 
 -> interval-map?
  key-contract : contract? = any/c
  value-contract : contract? = any/c
procedure
(interval-map? v) -> boolean?
  v : any/c
procedure
(interval-map-ref  interval-map     
                   position         
                  [default])    -> any/c
  interval-map : interval-map?
  position : exact-integer?
  default : any/c = (lambda () (error ....))
procedure
(interval-map-set! interval-map     
                   start            
                   end              
                   value)       -> void?
  interval-map : interval-map?
  start : exact-integer?
  end : exact-integer?
  value : any/c
procedure
(interval-map-update*!  interval-map     
                        start            
                        end              
                        updater          
                       [default])    -> void?
  interval-map : interval-map?
  start : exact-integer?
  end : exact-integer?
  updater : (-> any/c any/c)
  default : any/c = (lambda () (error ....))
procedure
(interval-map-remove! interval-map     
                      start            
                      end)         -> void?
  interval-map : interval-map?
  start : (or/c exact-integer? -inf.0)
  end : (or/c exact-integer? +inf.0)
procedure
(interval-map-contract! interval-map     
                        start            
                        end)         -> void?
  interval-map : interval-map?
  start : exact-integer?
  end : exact-integer?
procedure
(interval-map-expand! interval-map     
                      start            
                      end)         -> void?
  interval-map : interval-map?
  start : exact-integer?
  end : exact-integer?
procedure
(interval-map-cons*!  interval-map     
                      start            
                      end              
                      v                
                     [default])    -> void?
  interval-map : interval-map?
  start : any/c
  end : any/c
  v : any/c
  default : any/c = null
procedure
(interval-map-iterate-first interval-map)
 -> (or/c interval-map-iter? #f)
  interval-map : interval-map?
procedure
(interval-map-iterate-next interval-map 
                           iter)        
 -> (or/c interval-map-iter? #f)
  interval-map : interval-map?
  iter : interval-map-iter?
procedure
(interval-map-iterate-key interval-map     
                          iter)        -> pair?
  interval-map : interval-map?
  iter : interval-map-iter?
procedure
(interval-map-iterate-value interval-map     
                            iter)        -> any
  interval-map : interval-map?
  iter : interval-map-iter?
procedure
(interval-map-iter? v) -> boolean?
  v : any/c
procedure
(make-heap <=?) -> heap?
  <=? : (-> any/c any/c any/c)
procedure
(heap? x) -> boolean?
  x : any/c
procedure
(heap-count h) -> exact-nonnegative-integer?
  h : heap?
procedure
(heap-add! h v ...) -> void?
  h : heap?
  v : any/c
procedure
(heap-add-all! h v) -> void?
  h : heap?
  v : (or/c list? vector? heap?)
procedure
(heap-min h) -> any/c
  h : heap?
procedure
(heap-remove-min! h) -> void?
  h : heap?
procedure
(vector->heap <=? items) -> heap?
  <=? : (-> any/c any/c any/c)
  items : vector?
procedure
(heap->vector h) -> vector?
  h : heap?
procedure
(heap-copy h) -> heap?
  h : heap?
procedure
(heap-sort! <=? v) -> void?
  <=? : (-> any/c any/c any/c)
  v : vector?
procedure
(make-integer-set wfs) -> integer-set?
  wfs : well-formed-set?
procedure
(integer-set-contents s) -> well-formed-set?
  s : integer-set?
procedure
(set-integer-set-contents! s wfs) -> void?
  s : integer-set?
  wfs : well-formed-set?
procedure
(integer-set? v) -> boolean?
  v : any/c
procedure
(well-formed-set? v) -> boolean?
  v : any/c
procedure
(make-range) -> integer-set?
(make-range elem) -> integer-set?
  elem : exact-integer?
(make-range start end) -> integer-set?
  start : exact-integer?
  end : exact-integer?
procedure
(intersect x y) -> integer-set?
  x : integer-set?
  y : integer-set?
procedure
(subtract x y) -> integer-set?
  x : integer-set?
  y : integer-set?
procedure
(union x y) -> integer-set?
  x : integer-set?
  y : integer-set?
procedure
(split x y) -> integer-set?
  x : integer-set?
  y : integer-set?
procedure
(complement s start end) -> any
  s : integer-set?
  start : exact-integer?
  end : exact-integer?
procedure
(symmetric-difference x y) -> integer-set?
  x : integer-set?
  y : integer-set?
procedure
(member? k s) -> boolean?
  k : exact-integer?
  s : integer-set?
procedure
(get-integer integer-set) -> (or/c exact-integer? false/c)
  integer-set : any/c
procedure
(foldr proc base-v s) -> any/c
  proc : (exact-integer? any/c . -> . any/c)
  base-v : any/c
  s : integer-set?
procedure
(partition s) -> (listof integer-set?)
  s : integer-set-list?
procedure
(count s) -> exact-nonnegative-integer?
  s : integer-set?
procedure
(subset? x y) -> boolean?
  x : integer-set?
  y : integer-set?
