Справочник по Ada 2012
J.8 Разделы Mod
Синтаксис
Статическая семантика
Раздел record_representation_clause вида:
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;