Spec-Zone.ru › Ada 2012 Ada 2012 Reference Manual 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;”.
