Справочник по Ada 95
J.7 Операторы at
Синтаксис
at_clause ::= for direct_name use at expression;
Статическая семантика
Оператор at_clause вида ``for x use at y;'' эквивалентен оператору attribute_definition_clause вида ``for x'Address use y;''.
