Spec-Zone.ru › Ada 95 Ada 95 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;''.
