vstd::std_specs::core

Trait ExDeref

Source
pub trait ExDeref {
    type ExternalTraitSpecificationFor: Deref;
    type Target: ?Sized;

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

Required Associated Types§

Required Methods§

Source

exec fn deref(&self) -> &Self::Target

Implementors§