gcc config
[prop.git] / prop-src / T4.pcc
blob16b2baa43bbc5e8ebaae85af24e07307de1beb98
1 datatype T :: rewrite = f(T,T) | a | b;
3 T foo(T e)
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    }