29.2 Agent Events Records

An Agent Events Record is a Record with the following fields.

Table 79: Agent Events Record Fields
Field Name Value Meaning
[[AgentSignifier]] A value that admits equality testing The agent whose evaluation resulted in this ordering.
[[EventList]] A List of events Events are appended to the list during evaluation.
[[AgentSynchronizesWith]] A List of pairs of Synchronize events Synchronize relationships introduced by the operational semantics.