Type Alias PolicyCheck 

pub type PolicyCheck = Box<dyn Fn(&Action, &StateStore) -> Option<String> + Sync + Send>;

Policy check function: (action, state) -> Option<violation_reason>

Aliased Type

pub struct PolicyCheck(/* private fields */);