Руководство по Ada (Ada 2022)
J.8 Разделы mod
Синтаксис
Статическая семантика
Раздел представления_записи вида:
for r use
record at mod a;
...
end record;
record at mod a;
...
end record;
эквивалентен:
for r'Alignment use a;
for r use
record
...
end record;
for r use
record
...
end record;