redef type MPROPDEF: MAttributeDef
src/model/model.nit:2700,2--35
redef type MPROPDEF: MVirtualTypeDef
src/model/model.nit:2711,2--37
redef type MPROPDEF: MInnerClassDef
src/doc/model_ext.nit:105,2--36
redef type MPROPDEF: MMethodDef
src/model/model.nit:2655,2--32