Trait PartialOrdIsCopy item path

pub trait PartialOrdIs<Rhs: ?Sized = Self>: PartialOrd<Rhs> {
    // 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§