module HasCASLModul where

import Prelude (undefined)

data FiniteSet a1 = FiniteSet

type Pred a = a -> ()

type Unit = ()

data A__2_T_2 a1 a2 = A__2_T_2

data A__2_M_M_G_2 a1 a2 = A__2_M_M_G_2

data A__2_M_M_G_Q_2 a1 a2 = A__2_M_M_G_Q_2

data A__2_M_G_2 a1 a2 = A__2_M_G_2

data A__2_M_G_Q_2 a1 a2 = A__2_M_G_Q_2

_2_P_2 :: (FiniteSet a, FiniteSet a) -> FiniteSet a

_2_P_2 = undefined

_2_M_2 :: (FiniteSet a, FiniteSet a) -> FiniteSet a

_2_M_2 = 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

false :: ()

false = undefined

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

if_2then_2else_2 = undefined

not_2 :: () -> ()

not_2 = undefined

true :: ()

true = undefined

_b_2_r :: a -> FiniteSet a

_b_2_r = undefined

_b_r :: FiniteSet a

_b_r = undefined