Trait vstd::std_specs::core::ExIndexMut

source · 
pub trait ExIndexMut<Idx>: Index<Idx>
where
    Idx: ?Sized,
{
    type ExternalTraitSpecificationFor: IndexMut<Idx>;
}

Required Associated Types§

source

type ExternalTraitSpecificationFor: IndexMut<Idx>

Implementors§