Trait PartialOrdIs Copy item path

pub trait PartialOrdIs<Rhs: PointeeSized = Self>: PartialOrd<Rhs> + PointeeSized {
    // Required methods
    spec fn is_lt(&self, other: &Rhs) -> bool;
    spec fn is_le(&self, other: &Rhs) -> bool;
    spec fn is_gt(&self, other: &Rhs) -> bool;
    spec fn is_ge(&self, other: &Rhs) -> bool;
}

Required Methods§

Implementors§