[−][src]Module stateright::actor::register
Defines an interface for register-like actors (via RegisterMsg) and also provides
RegisterTestSystem for model checking.
Structs
| RegisterHistory | Captures necessary history for validating register properties. |
| RegisterTestSystem | A system for testing an actor service with register semantics. |
Enums
| RegisterMsg | Defines an interface for a register-like actor. |
Type Definitions
| TestRequestId | A simple request ID type for tests. |
| TestValue | A simple value type for tests. |