Type Alias TransCheckCallback 

pub type TransCheckCallback<T> = dyn Fn(&Transition<T>, &T) -> bool;