module uni15 ( uni15.PEVAL, uni15.main ) where import Prelude uni15.PEVAL :: a -> a uni15.PEVAL v1 = v1 uni15.main :: Prelude.Bool uni15.main = uni15._pe0 uni15._pe0 :: Prelude.Bool uni15._pe0 = Prelude.True