+ # The documentation associated to the entity
+ var mdoc: nullable MDoc = null is writable
+
+ # The documentation associated to the entity or their main nested entity.
+ #
+ # * `MPackage`s fall back to their root `MGroup`.
+ # * `MGroup`s fall back to their `default_mmodule`.
+ # * `MClass`es, `MClassDef`s, `MProperty`s and `MPropDef`s fall-back to
+ # their introducing definition.
+ # * `MClassType`s fall back to their wrapped `MClass`.
+ # * `MVirtualType`s fall back to their wrapped `MProperty`.
+ # * `CallSite` fall back on the wrapped `MProperty`.
+ # * Other entities do not fall back.
+ #
+ # One may use `MDoc::original_mentity` to retrieve the original
+ # source of the documentation.
+ fun mdoc_or_fallback: nullable MDoc do return mdoc
+
+ # Is the entity deprecated?
+ #
+ # Used for warnings and in documentation.
+ # Has no other specific effect.
+ var deprecation: nullable MDeprecationInfo = null is writable
+end
+
+# Information about a deprecated entity
+class MDeprecationInfo
+ # Explanation about the deprecation
+ var mdoc: nullable MDoc = null is writable