Trait ExIterStep

Source

pub trait ExIterStep:
    Clone
    + PartialOrd
    + Sized {
    type ExternalTraitSpecificationFor: Step;

    // Required methods
    spec fn spec_is_lt(self, other: Self) -> bool;
    spec fn spec_steps_between(self, end: Self) -> Option<usize>;
    spec fn spec_steps_between_int(self, end: Self) -> int;
    spec fn spec_forward_checked(self, count: usize) -> Option<Self>;
    spec fn spec_forward_checked_int(self, count: int) -> Option<Self>;
    spec fn spec_backward_checked(self, count: usize) -> Option<Self>;
    spec fn spec_backward_checked_int(self, count: int) -> Option<Self>;
}