Test.hascasl revision 3f813eb9d4ef92b5058d65b913cef48fb5c41b2e
type B%%,C,Int
%%free type AT ::= A (s1 : Int; s2 : B)
%%op + : AT * B -> C
%%op f : B -> B
%%op f : C -> C
type s < B