#less@x@y#cklt#compare@x@ymerge@l1@l2merge#1@l1@l2merge#1::@x@xs@l2merge#2@l2@x@xsmerge#1nil@l2@l2merge#2::@y@ys@x@xsmerge#3#less@x@y@x@xs@y@ysmerge#2nil@x@xs::@x@xsmerge#3#false@x@xs@y@ys::@ymerge::@x@xs@ysmerge#3#true@x@xs@y@ys::@xmerge@xs::@y@ysmergesort@lmergesort#1@lmergesort#1::@x1@xsmergesort#2@xs@x1mergesort#1nilnilmergesort#2::@x2@xs'@x1mergesort#3msplit::@x1::@x2@xs'mergesort#2nil@x1::@x1nilmergesort#3tuple#2@l1@l2mergemergesort@l1mergesort@l2msplit@lmsplit#1@lmsplit#1::@x1@xsmsplit#2@xs@x1msplit#1niltuple#2nilnilmsplit#2::@x2@xs'@x1msplit#3msplit@xs'@x1@x2msplit#2nil@x1tuple#2::@x1nilnilmsplit#3tuple#2@l1@l2@x1@x2tuple#2::@x1@l1::@x2@l2#cklt#EQ#false#cklt#GT#false#cklt#LT#true#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@ymerge#12#true0msplit#33mergesort#11mergesort#22#cklt1mergesort#31#pos1merge#35merge2#EQ0#compare2tuple#22nil0msplit#22merge#23msplit1#false0::2#LT0msplit#11mergesort1#00#neg1#less2#s1#GT0INNERMOSTtct_complexity/raML/mergesort.raml.trs