Ada Reference Manual — Legal Information

J.8 Mod Clauses

mod_clause ::= at mod static_expression;

for r use
    record at mod a
        ...
    end record;

is equivalent to:

for r'Alignment use a;
for r use
    record
        ...
    end record;