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