Test.hascasl revision bada0c99c6398c209ec9c6a9f5b316b7b5c99b33
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