Type Alias StatePredicate 

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

A synchronous predicate over shared State: true admits (a phase transition, a workflow node, a guard).

Aliased Type

pub struct StatePredicate { /* private fields */ }