fun output is abstract
end
-universal Int
+enum Int
redef fun output is intern
end
-universal Bool
+enum Bool
redef fun output is intern
end
var c: Object
if maybe then
- c = 2 #!alt2# #!alt4#
+ c = 2 #alt2# #alt4#
else
- c = 2 #!alt3# #!alt4#
+ c = 2 #alt3# #alt4#
end
c.output