pub trait HasStateTransition<T: ?Sized> {
type Token: IsResolvedToken;
type Ordering: IsOrdering;
type Error;
// Required method
fn transition(
self,
token: T,
) -> Result<StackEntry<Self::Token, Self::Ordering>, Spanned<Self::Error>>;
}