OpDecls.hascasl.hs revision 4d5f32c7e4e49e726f5d10943be3718afdff73cd
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maedermodule Dummy where
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maederimport Prelude (undefined, Show, Eq, Ord, Bool)
81d182b21020b815887e9057959228546cf61b6bChristian Maederimport MyLogic
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maederdata A_s = A_s
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maeder deriving (Show, Eq, Ord)
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maederdata A_t = A_t
fbb66ee3e170624835b99f7aa91980753cb5b472Christian Maeder deriving (Show, Eq, Ord)
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maeder_2_P_2 :: (A_s, A_s) -> A_s
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maeder_2_P_2 = undefined
0ea85310d2beb8aa03cac481ad2a6564e6b8ddbcChristian Maederx1 = undefined
bdce0d5f7e435df37670d3720929d97ab0043b6bChristian Maederx2 = undefined
66b0bf1e3102c83f5728cf6cfecbd07444276a5fChristian Maedery = _2_P_2 (x2, x2)