; @origtpdbfilename ./TRS/higher-order/AProVE_HO/TypeEx1.trs
; @xtcfilename "./TRS_Standard/Applicative_05/TypeEx1.xml"
(format TRS)
(fun ap 2)
(fun ff 0)
(fun cons 0)
(fun nil 0)
(rule (ap (ap ff x) x) (ap (ap x (ap ff x)) (ap (ap cons x) nil)))