Property definitions

nitc $ MDeprecationInfo :: defaultinit
# Information about a deprecated entity
class MDeprecationInfo
	# Explanation about the deprecation
	var mdoc: nullable MDoc = null is writable
end
src/model/mdoc.nit:75,1--79,3