ToHaskell/test/PatternEq.hascasl.hs

	PatternEq.hascasl.hs revision d74c3c29c2fd9b3d78d26e2a225214d803de2111
module HasCASLModul where
import Prelude (undefined)

type Pred a = a -> ()

type Unit = ()

data A_s = A_s

data A_t = A_t

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

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

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

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

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

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

a :: A_s
a = undefined

b :: A_s
b = a

c :: A_t
c = snd ((x :: A_s), (y :: A_t))

def_2 :: a -> ()
def_2 = undefined

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

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

snd :: (A_s, A_t) -> A_t
snd = \ (x, y) -> (y :: A_t)

x :: A_s
x = undefined

y :: A_t
y = undefined