prop-src/T4.pcc

   1 datatype T :: rewrite = f(T,T) | a | b;
   2
   3 T foo(T e)
   4 {
   5    rewrite (e) type (T)
   6    {  f(a,b): b
   7    |  f(b,X): X
   8    |  f(a,a): f(f(b,b),f(a,b))
   9    |  f(X,a): f(b,a)
  10    }
  11 }