Spec-Zone.ru › Ada 2022 Руководство по Ada (Ada 2022) J.7 Операторы at Синтаксис at_clause ::= for прямое_имя use at выражение; Статическая семантика Оператор at_clause вида “for x use at y;” эквивалентен оператору attribute_definition_clause вида “for x'Address use y;”.
