Trait vstd::std_specs::core::ExIndex

pub trait ExIndex<Idx>where
    Idx: ?Sized,{
    type Output: ?Sized;
    type ExternalTraitSpecificationFor: Index<Idx>;
}

Required Associated Types§