ListEx.hascasl.hs revision fb667d2827149910130c66dc44c74024252a8fbf
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddenmodule HasCASLModul where
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddenimport Prelude (undefined)
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddendata List a = Nil
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden | Cons !(a, List a)
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
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
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden_2if_2 :: ((), ()) -> ()
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden_2if_2 = undefined
d45a839aef1439938b43cec508f1bbbd3c5c235eNeil Madden_2when_2else_2 :: (a, (), a) -> a
d45a839aef1439938b43cec508f1bbbd3c5c235eNeil Madden_2when_2else_2 = undefined
d45a839aef1439938b43cec508f1bbbd3c5c235eNeil Maddendef_2 :: a -> ()
f56a278c148b90f6c2a675e0c1fa8686ca5abed4Robert Wapshottdef_2 = undefined
f56a278c148b90f6c2a675e0c1fa8686ca5abed4Robert Wapshottf :: List a -> List a
f56a278c148b90f6c2a675e0c1fa8686ca5abed4Robert Wapshottfalse = undefined
f56a278c148b90f6c2a675e0c1fa8686ca5abed4Robert Wapshottg :: List a -> List a
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddenif_2then_2else_2 :: ((), a, a) -> a
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddenif_2then_2else_2 = undefined
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddennot_2 :: () -> ()
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddennot_2 = undefined
1d03ac3e808c2c653316d01713105e209914fc81Neil Maddentrue = undefined