ToHaskell/test/Test.hascasl.hs

	Test.hascasl.hs revision c2df3d4479bbcb0dd86d32f9fe4b0be996bd7d62
module HasCASLModul where
import Prelude (undefined)

data AT = A{f1 :: !Int, f2 :: !B}

data B = B

data C = C

data Int = Int

data A_s = A_s

_P :: (AT, B) -> C
_P = undefined