Trait PartialOrdSpec 

pub trait PartialOrdSpec<Rhs: PointeeSized = Self>:
    PartialEq<Rhs>
    + PointeeSized
    + PartialOrd<Rhs> {
    // Required methods
    spec fn obeys_partial_cmp_spec() -> bool;
    spec fn partial_cmp_spec(&self, other: &Rhs) -> Option<Ordering>;
}

Required Methods

spec fn obeys_partial_cmp_spec() -> bool

spec fn partial_cmp_spec(&self, other: &Rhs) -> Option<Ordering>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<Rhs: PointeeSized, VERUS_SPEC__A: PartialOrd<Rhs> + PointeeSized> PartialOrdSpec<Rhs> for VERUS_SPEC__A