((<
(((|Boolean|) A A) (#1=(|NonNegativeInteger|) (< #2=(|Boolean|) #1# #1#))
(|locals| (#:G570 . #3=(|Boolean|))) (|arguments| (|b| . A) (|a| . A))
(S (~= #3# S S) (< (|Boolean|) S S))
(A (|qelt| . #4=(S A #5=(|Integer|))) (|minIndex| . #6=(#5# A))
(|maxIndex| . #7=(#5# A)) (|elt| . #8=(S A #5#))
(|#| . #9=(#10=(|NonNegativeInteger|) A)))))
(=
(((|Boolean|) A A) (#10# (~= #2# #10# #10#))
(#11=(|Boolean|) (|true| #11#) (|false| #11#))
(|locals| (#:G567 . #3#) (#:G566 . #2#)) (|arguments| (|y| . A) (|x| . A))
(S (= . #12=(#3# S S)))
(A (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#) (|#| . #9#))))
(|any?|
((#13=(|Boolean|) #14=(|Mapping| #15=(|Boolean|) S) A)
(#13# (|true| #13#) (|false| #13#)) (|locals| (#:G540 . #15#))
(|arguments| (|f| . #14#) (|a| . A))
(A (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#))))
(|coerce|
((#16=(|OutputForm|) A)
(#16# (|commaSeparate| #16# (|List| #16#)) (|bracket| #16# #16#))
(|arguments| (|r| . A)) (S (|coerce| (|OutputForm|) S))
(A (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#))))
(|concat|
((A #17=(|List| A)) (#10# (|Zero| #10#) (+ #10# #10# #10#))
(#17# (|empty?| #18=(|Boolean|) #17#)) (#19=(|Integer|) (+ #19# #19# #19#))
(|locals| (|r| . A) (|n| . #10#) (|i| . #19#) (#:G720 . #10#)
(#:G719 . #10#) (#:G564 . #18#))
(|arguments| (|l| . #17#))
(A (|new| . #20=(A (|NonNegativeInteger|) S)) (|minIndex| . #6#)
(|empty| . #21=(A)) (|copyInto!| . #22=(A A A (|Integer|))) (|#| . #9#)))
((A A A) (#23=(|NonNegativeInteger|) (+ #23# #23# #23#))
(#19# (+ #19# #19# #19#)) (|locals| (|z| . A) (|i| . #5#))
(|arguments| (|y| . A) (|x| . A))
(A (|minIndex| . #6#) (|copyInto!| . #22#) (|#| . #9#))))
(|construct|
((A #24=(|List| S))
(#24# (|first| S #24#) (|empty?| #18# #24#)
(|#| (|NonNegativeInteger|) #24#))
(|locals| (|a| . A) (#:G558 . #18#)) (|arguments| (|l| . #24#))
(A (|qsetelt!| . #25=(S A #5# S)) (|new| . #20#) (|minIndex| . #6#)
(|empty| . #21#))))
(|copy|
((A A) (|locals| (|y| . A)) (|arguments| (|x| . A))
(A (|qsetelt!| . #25#) (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#)
(|#| . #9#))))
(|copyInto!|
((A A A #26=(|Integer|)) (#10# (|One| #10#))
(#26# (> #27=(|Boolean|) #26# #26#) (< #27# #26# #26#) (+ #26# #26# #26#))
(|locals| (#:G557 . #27#) (#:G556 . #27#))
(|arguments| (|y| . A) (|x| . A) (|s| . #26#))
(A (|qsetelt!| . #25#) (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#)
(|#| . #9#))))
(|count|
((#28=(|NonNegativeInteger|) #29=(|Mapping| (|Boolean|) S) A)
(#30=(|PositiveInteger|) (|One| #30#))
(#28# (|Zero| #28#) (|One| #28#) (+ #28# #28# #28#))
(|locals| (|n| . #28#) (#:G544 |Boolean|))
(|arguments| (|f| . #29#) (|a| . A))
(A (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#))))
(|delete|
((A A #31=(|Integer|)) (#30# (|One| #30#)) (#23# (|One| #23#))
(#32=(|Integer|) (> #27# #32# #32#) (< #27# #32# #32#) (- #32# #32# #32#)
(+ #32# #32# #32#))
(|locals| (|y| . A) (|k| . #32#) (#:G563 . #27#) (#:G562 . #27#))
(|arguments| (|x| . A) (|i| . #31#))
(A (|qsetelt!| . #25#) (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#)
(|#| . #9#)))
((A A #33=(|UniversalSegment| (|Integer|)))
(#34=(|UniversalSegment| #35=(|Integer|)) (|lo| #35# #34#) (|hi| #35# #34#)
(|hasHi| #36=(|Boolean|) #34#))
(#30# (|One| #30#)) (#23# (|One| #23#))
(#35# (> #27# #35# #35#) (< #27# #35# #35#) (- #35# #35# #35#)
(+ #35# #35# #35#))
(|locals| (|r| . A) (|l| . #35#) (|k| . #35#) (|h| . #5#) (#:G561 . #27#)
(#:G560 . #27#) (#:G559 . #36#))
(|arguments| (|s| . #33#) (|a| . A))
(A (|qsetelt!| . #25#) (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#)
(|copy| A A) (|#| . #9#))))
(|elt|
((A A #37=(|UniversalSegment| (|Integer|)))
(#38=(|UniversalSegment| #39=(|Integer|)) (|lo| #39# #38#) (|hi| #39# #38#)
(|hasHi| #36# #38#))
(#23# (|Zero| #23#) (|One| #23#))
(#39# (|max| #39# #39# #39#) (|Zero| #39#) (> #27# #39# #39#)
(< #27# #39# #39#) (- #39# #39# #39#) (+ #39# #39# #39#))
(#36# (|max| #36#))
(|locals| (|r| . A) (|l| . #39#) (|h| . #5#) (#:G555 . #27#) (#:G554 . #27#)
(#:G553 . #36#))
(|arguments| (|s| . #37#) (|a| . A))
(A (|qsetelt!| . #25#) (|qelt| . #4#) (|minIndex| . #6#)
(|maxIndex| . #7#))))
(|every?|
((#40=(|Boolean|) #41=(|Mapping| #42=(|Boolean|) S) A)
(#40# (|true| #40#) (|false| #40#)) (|locals| (#:G541 . #42#))
(|arguments| (|f| . #41#) (|a| . A))
(A (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#))))
(|find|
((#43=(|Union| S #44="failed") #45=(|Mapping| #46=(|Boolean|) S) A)
(#43# (|autoCoerce| #43# #44#)) (|locals| (#:G543 . #46#))
(|arguments| (|f| . #45#) (|a| . A))
(A (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#))))
(|insert|
((A A A #47=(|Integer|)) (#30# (|One| #30#))
(#23# (|One| #23#) (+ #23# #23# #23#))
(#48=(|Integer|) (> #27# #48# #48#) (< #27# #48# #48#) (- #48# #48# #48#)
(+ #48# #48# #48#))
(|locals| (|y| . A) (|n| . #5#) (|m| . #5#) (|k| . #48#))
(|arguments| (|i| . #47#) (|b| . A) (|a| . A))
(A (|qsetelt!| . #25#) (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#)
(|#| . #9#))))
(|map|
((A #49=(|Mapping| S S S) A A)
(#50=(|NonNegativeInteger|) (|Zero| #50#) (|One| #50#))
(#5# (|min| #5# #5# #5#) (|max| #5# #5# #5#) (|Zero| #5#) (- #5# #5# #5#)
(+ #5# #5# #5#))
(|locals| (|n| . #5#) (|m| . #5#) (|l| . #50#) (|c| . A))
(|arguments| (|f| . #49#) (|b| . A) (|a| . A))
(A (|qsetelt!| . #25#) (|qelt| . #4#) (|minIndex| . #6#)
(|maxIndex| . #7#))))
(|map!|
((A #51=(|Mapping| S S) A) (|arguments| (|f| . #51#) (|a| . A))
(A (|qsetelt!| . #25#) (|qelt| . #4#) (|minIndex| . #6#)
(|maxIndex| . #7#))))
(|members|
(((|List| S) A) (|arguments| (|x| . A))
(A (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#))))
(|merge|
((A #52=(|Mapping| #53=(|Boolean|) S S) A A)
(#23# (|One| #23#) (+ #23# #23# #23#))
(#19# (|One| #19#) (<= #27# #19# #19#) (+ #19# #19# #19#))
(#11# (|false| #11#))
(|locals| (|r| . A) (|n| . #5#) (|m| . #5#) (|k| . #19#) (|j| . #19#)
(|i| . #19#) (#:G552 . #53#))
(|arguments| (|f| . #52#) (|b| . A) (|a| . A))
(A (|qsetelt!| . #25#) (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#)
(|elt| . #8#) (|#| . #9#))))
(|position|
((#54=(|Integer|) #55=(|Mapping| (|Boolean|) S) A) (#30# (|One| #30#))
(#54# (- #54# #54# #54#)) (|locals| (#:G542 |Boolean|))
(|arguments| (|f| . #55#) (|a| . A))
(A (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#)))
(((|Integer|) S A #56=(|Integer|)) (#30# (|One| #30#))
(#57=(|Integer|) (> #27# #57# #57#) (< #27# #57# #57#) (- #57# #57# #57#))
(|locals| (|n| . #5#) (#:G569 . #3#) (#:G568 . #27#))
(|arguments| (|x| . S) (|t| . A) (|s| . #56#)) (S (= . #12#))
(A (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#))))
(|reduce|
((S #58=(|Mapping| S S S) A S S)
(|arguments| (|identity| . S) (|f| . #58#) (|absorber| . S) (|a| . A))
(S (~= #3# S S)) (A (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#)))
((S #59=(|Mapping| S S S) A S)
(|arguments| (|identity| . S) (|f| . #59#) (|a| . A))
(A (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#)))
((S #60=(|Mapping| S S S) A) (#5# (|One| #5#) (+ #5# #5# #5#))
(|locals| (|r| . S) (|m| . #5#) (#:G548 . #61=(|Boolean|)))
(|arguments| (|f| . #60#) (|a| . A))
(A (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#)
(|empty?| . #62=(#61# A)))))
(|reverse!|
((A A) (#5# (|quo| #5# #5# #5#) (- #5# #5# #5#) (+ #5# #5# #5#))
(|locals| (|n| . #5#) (|m| . #5#)) (|arguments| (|x| . A))
(A (|swap!| (|Void|) A #5# #5#) (|minIndex| . #6#) (|maxIndex| . #7#))))
(|setelt|
((S A #63=(|UniversalSegment| (|Integer|)) S)
(#64=(|UniversalSegment| #65=(|Integer|)) (|lo| #65# #64#) (|hi| #65# #64#)
(|hasHi| #36# #64#))
(#65# (> #27# #65# #65#) (< #27# #65# #65#))
(|locals| (|l| . #65#) (|h| . #5#) (#:G547 . #27#) (#:G546 . #27#)
(#:G545 . #36#))
(|arguments| (|x| . S) (|s| . #63#) (|a| . A))
(A (|qsetelt!| . #25#) (|minIndex| . #6#) (|maxIndex| . #7#))))
(|sort!|
((A #66=(|Mapping| (|Boolean|) S S) A)
((|FiniteLinearAggregateSort| S A)
(|quickSort| A (|Mapping| (|Boolean|) S S) A))
(|arguments| (|f| . #66#) (|a| . A))))
(|sorted?|
((#67=(|Boolean|) #68=(|Mapping| #69=(|Boolean|) S S) A) (#30# (|One| #30#))
(#1# (|One| #1#)) (#5# (- #5# #5# #5#) (+ #5# #5# #5#))
(#67# (|true| #67#) (|false| #67#)) (|locals| (#:G565 . #69#))
(|arguments| (|f| . #68#) (|a| . A))
(A (|qelt| . #4#) (|minIndex| . #6#) (|maxIndex| . #7#))))
(|stupidget|
((S #70=(|List| A)) (|locals| (#:G551 . #61#)) (|arguments| (|l| . #70#))
(A (|first| S A) (|empty?| . #62#))))
(|stupidnew|
((A #23# A A) (#23# (|zero?| #2# #23#))
(|locals| (#:G550 . #61#) (#:G549 . #2#))
(|arguments| (|n| . #23#) (|b| . A) (|a| . A))
(A (|qelt| . #4#) (|new| . #20#) (|minIndex| . #6#) (|empty?| . #62#)
(|empty| . #21#)))))
