Generic Accessor Component

The generic accessor component is the part fo an accessor that is used to specify the type arguments of the generic component of an identifier of a member.

The generic accessor component is represented by a listing of zero or more types each separated by a comma , and together surrounded by square brackets [ ]. For instance, the following snippet:

{
    id[A, B] =: A B
}
.id[[x: ''], [y: '']]

repersents the generic access of id[A, B] with A = [x: ''] and B = [y: ''] in a structural value value. This access evaluates to the [x: '' y: ''] structural type.