# * MClassDef: `mmodule::mclassdef`
# * MProperty: `mclass::mprop`
# * MPropdef: `mclassdef:mpropdef`
# * MClassDef: `mmodule::mclassdef`
# * MProperty: `mclass::mprop`
# * MPropdef: `mclassdef:mpropdef`
redef fun html_modifiers do return intro.html_modifiers
redef fun html_declaration do return intro.html_declaration
redef fun html_modifiers do return intro.html_modifiers
redef fun html_declaration do return intro.html_declaration