prop-src/T6.pcc

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