pub trait SuccessorExceptForGreatest: TrySuccessor + GreatestElement { }Expand description
A partial order where every element but the greatest element has a unique successor.
Implementations of the try_successor function must return None if and only if self is the greatest element of the order.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.