interface Discrete
end
-universal Int
-special Discrete
+enum Int
+ super Discrete
end
interface Collection[E]
class String
end
-universal NativeString
+enum NativeString
end
class Array[E]
-special Collection[E]
+ super Collection[E]
end
class Range[E]
-special Collection[E]
+ super Collection[E]
end
#alt1#var a = [1, 2]