Type Definition fsm::Predicate

type Predicate<'a, S, E> = Box<Fn(&S, &E) -> bool + 'a>;

Predicates are used to filter down whether a transition can occur