Expand description
State contracts: registry plus a minimal deterministic state machine.
Structs§
- State
Machine - Minimal state machine based on explicit transitions.
- State
Registry - Ordered registry of declared state names.
- State
Transition - Explicit state transition definition.
Traits§
- Runtime
State - Minimal runtime state contract.