Trait Successor 

pub trait Successor: TrySuccessor {
    // Provided method
    fn successor(&self) -> Self { ... }
}

A partial order where every element has a unique successor.

Implementations of the try_successor function must never return None.

Provided Methods

fn successor(&self) -> Self

Returns the successor of self, i.e., the unique least value which is strictly greater than self.

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.

Implementors