Test.hascasl revision 3f813eb9d4ef92b5058d65b913cef48fb5c41b2e
967e5f3c25249c779575864692935627004d3f9eChristian Maedertype B%%,C,Int
967e5f3c25249c779575864692935627004d3f9eChristian Maeder%%free type AT ::= A (s1 : Int; s2 : B)
81d182b21020b815887e9057959228546cf61b6bChristian Maeder%%op + : AT * B -> C
f11f713bebd8e1e623a0a4361065df256033de47Christian Maeder%%op f : B -> B
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maeder%%op f : C -> C