; @origtpdbfilename ./TRS/higher-order/AProVE_HO/TypeEx5.trs
; @xtcfilename "./TRS_Standard/Applicative_05/TypeEx5.xml"
(format TRS)
(fun ap 2)
(fun g 0)
(fun f 0)
(fun app 2)
(rule (ap (ap g x) y) y)
(rule (ap f x) (ap f (app g x)))