Справочник по Аде 2012
A.2 Пакет Ada
Статическая семантика
Существует следующий определяемый языком библиотечный пакет:
package Ada is
pragma Pure(Ada);
end Ada;
pragma Pure(Ada);
end Ada;
Ada является родителем большинства других определяемых языком библиотечных модулей; его объявление пустое (кроме pragma Pure).
Правила законности
В стандартном режиме запрещено компилировать потомка пакета Ada.
