module cond05 ( cond05.PEVAL, cond05.main ) where import Prelude cond05.PEVAL :: a -> a cond05.PEVAL v1 = v1 cond05.main :: Prelude.Int cond05.main = cond05._pe0 cond05._pe0 :: Prelude.Int cond05._pe0 = 42