; @origtpdbfilename ./TRS/higher-order/Bird/TreeMap.trs
; @xtcfilename "./TRS_Standard/Applicative_05/TreeMap.xml"
(format TRS)
(fun app 2)
(fun map 0)
(fun nil 0)
(fun cons 0)
(fun treemap 0)
(fun node 0)
(rule (app (app map f) nil) nil)
(rule (app (app map f) (app (app cons x) xs)) (app (app cons (app f x)) (app (app map f) xs)))
(rule (app (app treemap f) (app (app node x) xs)) (app (app node (app f x)) (app (app map (app treemap f)) xs)))