import end
-class Object
+interface Object
fun output is abstract
end
class B[E]
redef fun output do _e.output
- var _e: E
+ var e: E
init(e: E) do _e = e
end
_f.output
_g.output
end
- var _f: F
- var _g: G
+ var f: F
+ var g: G
init(f: F, g: G)
do
_f = f