Variable ModuleDeclaration.deprecated_

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