#abs#0#0#abs#neg@x#pos@x#abs#pos@x#pos@x#abs#s@x#pos#s@x#greater@x@y#ckgt#compare@x@yappend@l@ysappend#1@l@ysappend#1::@x@xs@ys::@xappend@xs@ysappend#1nil@ys@ysappendD@l@ysappendD#1@l@ysappendD#1::@x@xs@ys::@xappendD@xs@ysappendD#1nil@ys@ysquicksort@lquicksort#1@lquicksort#1::@z@zsquicksort#2split@z@zs@zquicksort#1nilnilquicksort#2tuple#2@xs@ys@zappendquicksort@xs::@zquicksort@ysquicksortD@lquicksortD#1@lquicksortD#1::@z@zsquicksortD#2splitD@z@zs@zquicksortD#1nilnilquicksortD#2tuple#2@xs@ys@zappendDquicksortD@xs::@zquicksortD@yssplit@pivot@lsplit#1@l@pivotsplit#1::@x@xs@pivotsplit#2split@pivot@xs@pivot@xsplit#1nil@pivottuple#2nilnilsplit#2tuple#2@ls@rs@pivot@xsplit#3#greater@x@pivot@ls@rs@xsplit#3#false@ls@rs@xtuple#2::@x@ls@rssplit#3#true@ls@rs@xtuple#2@ls::@x@rssplitD@pivot@lsplitD#1@l@pivotsplitD#1::@x@xs@pivotsplitD#2splitD@pivot@xs@pivot@xsplitD#1nil@pivottuple#2nilnilsplitD#2tuple#2@ls@rs@pivot@xsplitD#3#greater@x@pivot@ls@rs@xsplitD#3#false@ls@rs@xtuple#2::@x@ls@rssplitD#3#true@ls@rs@xtuple#2@ls::@x@rstestList@x::#abs#0::#abs#pos#s#s#s#s#0::#abs#pos#s#s#s#s#s#0::#abs#pos#s#s#s#s#s#s#s#s#s#0::#abs#pos#s#s#s#s#s#s#s#0::#abs#pos#s#0::#abs#pos#s#s#0::#abs#pos#s#s#s#s#s#s#s#s#0::#abs#pos#s#s#s#s#s#s#0::#abs#pos#s#s#s#0niltestQuicksort@xquicksorttestList#unittestQuicksort2@xquicksorttestList#unit#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#unit0splitD2quicksort#22#true0split#34append2split#12split2#ckgt1splitD#12#pos1#EQ0quicksortD#22#compare2quicksortD1tuple#22appendD#12nil0split#23#greater2splitD#23quicksort#11append#12testQuicksort21#false0quicksort1::2#LT0splitD#34testQuicksort1testList1quicksortD#11#00#neg1#abs1appendD2#s1#GT0INNERMOSTtct_complexity/raML/quicksort.raml.trs