#equal@x@y#eq@x@y#greater@x@y#ckgt#compare@x@yappend@l@ysappend#1@l@ysappend#1::@x@xs@ys::@xappend@xs@ysappend#1nil@ys@ysinsert@x@linsert#1@x@l@xinsert#1tuple#2@valX@keyX@l@xinsert#2@l@keyX@valX@xinsert#2::@l1@ls@keyX@valX@xinsert#3@l1@keyX@ls@valX@xinsert#2nil@keyX@valX@x::tuple#2::@valXnil@keyXnilinsert#3tuple#2@vals1@key1@keyX@ls@valX@xinsert#4#equal@key1@keyX@key1@ls@valX@vals1@xinsert#4#false@key1@ls@valX@vals1@x::tuple#2@vals1@key1insert@x@lsinsert#4#true@key1@ls@valX@vals1@x::tuple#2::@valX@vals1@key1@lsquicksort@lquicksort#1@lquicksort#1::@z@zsquicksort#2splitqs@z@zs@zquicksort#1nilnilquicksort#2tuple#2@xs@ys@zappendquicksort@xs::@zquicksort@yssortAll@lsortAll#1@lsortAll#1::@x@xssortAll#2@x@xssortAll#1nilnilsortAll#2tuple#2@vals@key@xs::tuple#2quicksort@vals@keysortAll@xssplit@lsplit#1@lsplit#1::@x@xsinsert@xsplit@xssplit#1nilnilsplitAndSort@lsortAllsplit@lsplitqs@pivot@lsplitqs#1@l@pivotsplitqs#1::@x@xs@pivotsplitqs#2splitqs@pivot@xs@pivot@xsplitqs#1nil@pivottuple#2nilnilsplitqs#2tuple#2@ls@rs@pivot@xsplitqs#3#greater@x@pivot@ls@rs@xsplitqs#3#false@ls@rs@xtuple#2::@x@ls@rssplitqs#3#true@ls@rs@xtuple#2@ls::@x@rs#and#false#false#false#and#false#true#false#and#true#false#false#and#true#true#true#ckgt#EQ#false#ckgt#GT#true#ckgt#LT#false#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#eq#0#0#true#eq#0#neg@y#false#eq#0#pos@y#false#eq#0#s@y#false#eq#neg@x#0#false#eq#neg@x#neg@y#eq@x@y#eq#neg@x#pos@y#false#eq#pos@x#0#false#eq#pos@x#neg@y#false#eq#pos@x#pos@y#eq@x@y#eq#s@x#0#false#eq#s@x#s@y#eq@x@y#eq::@x_1@x_2::@y_1@y_2#and#eq@x_1@y_1#eq@x_2@y_2#eq::@x_1@x_2nil#false#eq::@x_1@x_2tuple#2@y_1@y_2#false#eqnil::@y_1@y_2#false#eqnilnil#true#eqniltuple#2@y_1@y_2#false#eqtuple#2@x_1@x_2::@y_1@y_2#false#eqtuple#2@x_1@x_2nil#false#eqtuple#2@x_1@x_2tuple#2@y_1@y_2#and#eq@x_1@y_1#eq@x_2@y_2#equal2#eq2splitAndSort1sortAll#22quicksort#22split1#true0append2insert#35#ckgt1insert2#pos1sortAll1#EQ0insert#24#and2sortAll#11#compare2tuple#22nil0split#11#greater2insert#46insert#13quicksort#11append#12splitqs2#false0quicksort1::2#LT0splitqs#34splitqs#23#00#neg1#s1#GT0splitqs#12INNERMOSTtct_complexity/raML/splitandsort.raml.trs