digits d 0 d x if le x s s s s s s s s s 0 x if true x cons x d s x if false x nil le 0 y true le s x 0 false le s x s y le x y digits 0 d 1 0 0 if 2 le 2 s 1 true 0 cons 2 false 0 nil 0 FULL ./TRS/SchneiderKamp/trs/thiemann23.trs