Spec-Zone.ru › Ada 2022 Ada Reference Manual (Ada 2022) J.7 At Clauses Syntax at_clause ::= for direct_name use at expression; Static Semantics An at_clause of the form “for x use at y;” is equivalent to an attribute_definition_clause of the form “for x'Address use y;”.
