import kernel
class G[E: G[E]]
- meth ide(e: E): E
+ fun ide(e: E): E
do
return e
end
- meth foo is abstract
+ fun foo is abstract
end
class G1
-special G[G1]
- redef meth foo
+ super G[G1]
+ redef fun foo
do
1.output
end
end
class G2
-special G[G2]
- redef meth foo
+ super G[G2]
+ redef fun foo
do
2.output
end