Expand description

Support for synchronous and asynchronous state machines.

Traits

Denotes a type which represents a state machine.