HaRe-0.8.0.0: test/testdata/Renaming/A5.hs.expected

module Renaming.A5 where

import Renaming.B5
import Renaming.C5
import Renaming.D5

main :: Tree Int ->Bool
main t = isSame (Renaming.D5.sum (fringe t))
               (Renaming.D5.sum (Renaming.B5.myFringe t)+Renaming.D5.sum (Renaming.C5.myFringe t))