# A local class that is a pure importation of an other local class
class MMImplicitLocalClass
-special MMLocalClass
+ super MMLocalClass
init(mod: MMModule, g: MMGlobalClass)
do
var cla = g.intro
end
class MMRefineAncestor
-special MMAncestor
+ super MMAncestor
redef readable var _local_class: MMLocalClass
init(b: MMLocalClass, a: MMLocalClass)
class MMSpecAncestor
-special MMAncestor
+ super MMAncestor
redef fun local_class do return stype.local_class
init(inheriter: MMType, stype: MMType)
end
class MMDefaultAncestor
-special MMAncestor
+ super MMAncestor
redef fun local_class do return stype.local_class
init(b: MMLocalClass, anc: MMType)