Есть ли способ проверить, что две общие формальности одного и того же типа, если одна из них неполная?
#generics #types #ada Вопрос: Учитывая общий родительский пакет: generic type T(<>) is tagged; package Parent is type Instance is tagged private; private type T_Access is access T; type Instance is…