Expr.hascasl.hs revision fb667d2827149910130c66dc44c74024252a8fbf
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddenmodule HasCASLModul where
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddenimport Prelude (undefined)
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddentype Pred a = a -> ()
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddentype Unit = ()
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddendata A__2_T_2 a1 a2 = A__2_T_2
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddendata A__2_M_M_G_2 a1 a2 = A__2_M_M_G_2
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddendata A__2_M_M_G_Q_2 a1 a2 = A__2_M_M_G_Q_2
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddendata A__2_M_G_2 a1 a2 = A__2_M_G_2
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddendata A__2_M_G_Q_2 a1 a2 = A__2_M_G_Q_2
5ec701c9f8ccc403ee6fd3e41239df7dcd9faddeBruno Lavitdata A_bool = True
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden_2_S_B_2 :: ((), ()) -> ()
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden_2_S_B_2 = undefined
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden_2_L_R_G_2 :: ((), ()) -> ()
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden_2_L_R_G_2 = undefined
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden_2_R_2 :: (a, a) -> ()
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden_2_R_2 = undefined
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden_2_R_G_2 :: ((), ()) -> ()
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden_2_R_G_2 = undefined
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden_2_Re_R_2 :: (a, a) -> ()
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden_2_Re_R_2 = undefined
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden_2_B_S_2 :: ((), ()) -> ()
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden_2_B_S_2 = undefined
d45a839aef1439938b43cec508f1bbbd3c5c235eNeil Madden_2if_2 :: ((), ()) -> ()
d45a839aef1439938b43cec508f1bbbd3c5c235eNeil Madden_2if_2 = undefined
d45a839aef1439938b43cec508f1bbbd3c5c235eNeil Madden_2when_2else_2 :: (a, (), a) -> a
d45a839aef1439938b43cec508f1bbbd3c5c235eNeil Madden_2when_2else_2 = undefined
b9e697e180c323785bf1cb8a29f5ec6288da8ec4Jaco Joosteb2 :: A_bool -> A_bool
7197110fbdb6deb7868581c455516161cbcf7e0fJaco Joosteb2 = \ x -> x
7197110fbdb6deb7868581c455516161cbcf7e0fJaco Joosteb = let x = True
f56a278c148b90f6c2a675e0c1fa8686ca5abed4Robert Wapshottdef_2 :: a -> ()
f56a278c148b90f6c2a675e0c1fa8686ca5abed4Robert Wapshottdef_2 = undefined
7fba463e40b49ab852c67041dadb4ac02255bd93Neil Maddenfalse = undefined
7fba463e40b49ab852c67041dadb4ac02255bd93Neil Maddenif_2then_2else_2 :: ((), a, a) -> a
7fba463e40b49ab852c67041dadb4ac02255bd93Neil Maddenif_2then_2else_2 = undefined
7fba463e40b49ab852c67041dadb4ac02255bd93Neil Maddennot_2 :: () -> ()
f56a278c148b90f6c2a675e0c1fa8686ca5abed4Robert Wapshottnot_2 = undefined
c44bbf5d2025d672efe11a37ea6e9c867e78b691Neil MaddennotA :: A_bool
c44bbf5d2025d672efe11a37ea6e9c867e78b691Neil Madden True -> False
c44bbf5d2025d672efe11a37ea6e9c867e78b691Neil Madden False -> True
7197110fbdb6deb7868581c455516161cbcf7e0fJaco Joostetrue = undefined