Skip to main content

ExDerefMut

vstd::std_specs::core

Trait ExDerefMut 

Source 
pub trait ExDerefMut: Deref + PointeeSized {
    type ExternalTraitSpecificationFor: DerefMut;

    // Required method
    exec fn deref_mut(&mut self) -> &mut Self::Target;
}

Required Associated Types§

Source

type ExternalTraitSpecificationFor: DerefMut

Required Methods§

Source

exec fn deref_mut(&mut self) -> &mut Self::Target

Implementors§