# Virtual type properties
class MMTypeProperty
-special MMLocalProperty
+ super MMLocalProperty
# The virtual static type associated
fun stype_for(recv: MMType): nullable MMVirtualType
do
end
class MMVirtualType
-special MMTypeFormal
+ super MMTypeFormal
# The property associed
readable var _property: MMTypeProperty