Справочник Ada 2012
J.15.3 Директива Pack
Синтаксис
pragma Pack (first_subtype_local_name);
Правила легальности
Идентификатор first_subtype_local_name директивы Pack должен обозначать составной тип.
Статические семантики
Директива Pack указывает, что аспект Pack (см. 13.2) для типа, обозначаемого first_subtype_local_name, имеет значение True.