import end
interface Object
- meth output is abstract
+ fun output is abstract
end
-universal Int
- redef meth output is intern
+enum Int
+ redef fun output is intern
end
-universal Bool
- redef meth output is intern
+enum Bool
+ redef fun output is intern
end
-meth maybe: Bool do return false
+fun maybe: Bool do return false
var a: Object
#alt1#a.output