#less@x@y#cklt#compare@x@yfindMin@lfindMin#1@lfindMin#1::@x@xsfindMin#2findMin@xs@xfindMin#1nilnilfindMin#2::@y@ys@xfindMin#3#less@x@y@x@y@ysfindMin#2nil@x::@xnilfindMin#3#false@x@y@ys::@y::@x@ysfindMin#3#true@x@y@ys::@x::@y@ysminSort@lminSort#1findMin@lminSort#1::@x@xs::@xminSort@xsminSort#1nilnil#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@yminSort#11#true0#false0findMin#34::2#LT0findMin#11#cklt1#pos1#00findMin1#neg1#EQ0#less2minSort1#compare2#s1#GT0nil0findMin#22INNERMOSTtct_complexity/raML/minsort.raml.trs