Ada 2022 - Контракты для типов доступа к подпрограммам

Предусловия для типов доступа к подпрограммам в Ada 2022.