Type Alias StateGuard 

pub type StateGuard = Arc<dyn Fn(&State) -> bool + Send + Sync>;

Sync guard over state: true admits the transition/phase.

Aliased Type

pub struct StateGuard { /* private fields */ }