orderedConsx'Consxxsordered[Ite]<x'xConsx'ConsxxsorderedConsxNilTrueorderedNilTruenotEmptyConsxxsTruenotEmptyNilFalsegoalxsorderedxs<SxSy<xy<0SyTrue<x0Falseordered[Ite]TrueConsx'Consxxsorderedxsordered[Ite]FalsexsFalseordered[Ite]2True0<2S1Cons2Nil000ordered1notEmpty1goal1False0INNERMOSTFrederiksen_Glenstrup/ordered.tml.trs