end
class MMTypeGeneric
-special MMTypeClass
+ super MMTypeClass
# Formal arguments
readable var _params: Array[MMType]
end
class MMTypeFormalParameter
-special MMTypeFormal
+ super MMTypeFormal
# The class where self is defined
readable var _def_class: MMLocalClass