-- | The state signals. The first is the state number, the second the
-- signal to assign the current state to, the last is the signal
-- that holds the new state.
-- | The state signals. The first is the state number, the second the
-- signal to assign the current state to, the last is the signal
-- that holds the new state.