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