Ada Programming/Attributes/'Deref

Description
The attribute  where   is of type   yields the variable of type   that is located at the given address. It is similar to, where   is an unchecked conversion from address to a named access-to- type, except that it yields a variable, so it can be used on the left side of an assignment.