; @origtpdbfilename ./TRS/higher-order/ToyamaRTA04/Ex6Recursor.trs
; @xtcfilename "./TRS_Standard/Applicative_05/Ex6Recursor.xml"
(format TRS)
(fun app 2)
(fun rec 0)
(fun |0| 0)
(fun s 0)
(rule (app (app (app rec f) x) |0|) x)
(rule (app (app (app rec f) x) (app s y)) (app (app f (app s y)) (app (app (app rec f) x) y)))