ToHaskell/test/Test.hascasl.hs

	Test.hascasl.hs revision bada0c99c6398c209ec9c6a9f5b316b7b5c99b33
module HasCASLModul where
import Prelude (undefined, Show)

data AT = A{s1 :: !Int, s2 :: !B}
        deriving Show

data B = B
       deriving Show

data C = C
       deriving Show

data Int = Int
         deriving Show

type Pred a = a -> ()

type Unit = ()

data A__2_T_2 = A__2_T_2
              deriving Show

data A__2_M_M_G_2 = A__2_M_M_G_2
                  deriving Show

data A__2_M_M_G_Q_2 = A__2_M_M_G_Q_2
                    deriving Show

data A__2_M_G_2 = A__2_M_G_2
                deriving Show

data A__2_M_G_Q_2 = A__2_M_G_Q_2
                  deriving Show

type A_s = B

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

_2_S_B_2 :: ((), ()) -> ()
_2_S_B_2 = undefined

_2_L_R_G_2 :: ((), ()) -> ()
_2_L_R_G_2 = undefined

_2_R_2 :: (a, a) -> ()
_2_R_2 = undefined

_2_R_G_2 :: ((), ()) -> ()
_2_R_G_2 = undefined

_2_Re_R_2 :: (a, a) -> ()
_2_Re_R_2 = undefined

_2_B_S_2 :: ((), ()) -> ()
_2_B_S_2 = undefined

_2if_2 :: ((), ()) -> ()
_2if_2 = undefined

_2when_2else_2 :: (a, (), a) -> a
_2when_2else_2 = undefined

def_2 :: a -> ()
def_2 = undefined

f2 :: C -> C
f2 = undefined

f :: B -> B
f = undefined

false :: ()
false = undefined

if_2then_2else_2 :: ((), a, a) -> a
if_2then_2else_2 = undefined

not_2 :: () -> ()
not_2 = undefined

true :: ()
true = undefined