prop-src/T5.pcc

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