Ada Reference Manual (Ada 2022)
J.8 Mod Clauses
Syntax
Static Semantics
A record_representation_clause of the form:
for r use
record at mod a;
...
end record;
record at mod a;
...
end record;
is equivalent to:
for r'Alignment use a;
for r use
record
...
end record;
for r use
record
...
end record;