Справочник по Ada 95
J.8 Модули
Синтаксис
mod_clause ::= at mod static_выражение;
Статическая семантика
A 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;