Module machine
crs_bind
Support for synchronous and asynchronous state machines.
Denotes a type which represents a state machine.