Trait vstd::std_specs::core::ExIterStep

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

Required Associated Types§

source

type ExternalTraitSpecificationFor: Step

Object Safety§

This trait is not object safe.

Implementors§