The indexing operators are  and ``.".  is used to index a vector, a record, or an array with a numeric subscript, or a record with a string subscript. For a vector or array operand, the result of the indexing has the same type as the vector; for a record, its type is either that of the specified field, or record if more than one field is specified. See § 3.1.4, § 3.4.4, § 3.4.3, § 3.6, § 3.7.2, and § 3.7.2 for details.
The ``." operator retrieves a particular field from a record.
a.nameis equivalent to
a["name"]See § 3.4.2, page .