This is a class to represent unique IDs for events in a type-safe way. More...

Detailed Description

This is a class to represent unique IDs for events in a type-safe way.

These are created and managed by the System, not the State.

The documentation for this class was generated from the following file: