Variable ModuleDeclaration.deprecated_

class ModuleDeclaration
{
  // ...
  Deprecated deprecated_ ;
  // ...
}