qsx'ConsxxsappConsxNilConsx'quicksortxsquicksortConsxConsx'xsqsxpartxConsx'xsNilNilquicksortConsxNilConsxNilquicksortNilNilpartx'Consxxsxs1xs2part[Ite]>x'xx'Consxxsxs1xs2partxNilxs1xs2appxs1xs2appConsxxsysConsxappxsysappNilysysnotEmptyConsxxsTruenotEmptyNilFalse<SxSy<xy<0SyTrue<x0False>SxSy>xy>0yFalse>Sx0Truepart[Ite]Truex'Consxxsxs1xs2partx'xsConsxxs1xs2part[False][Ite]Truex'Consxxsxs1xs2partx'xsxs1Consxxs2part[Ite]Falsex'Consxxsxs1xs2part[False][Ite]<x'xx'Consxxsxs1xs2part[False][Ite]Falsex'Consxxsxs1xs2partx'xsxs1xs2part4True0app2Nil0part[False][Ite]5quicksort1part[Ite]5qs2>2<2S1Cons200notEmpty1False0INNERMOSTFrederiksen_Others/quicksortPtime.tml.trs