Indexing

    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.name

is equivalent to

    a["name"]

See § 3.4.2, page .