Trait vstd::std_specs::clone::ExClone

source · 
pub trait ExClone: Sized {
    type ExternalTraitSpecificationFor: Clone;

    // Required method
    exec fn clone(&self) -> Self;
}

Required Associated Types§

source

type ExternalTraitSpecificationFor: Clone

Required Methods§

source

exec fn clone(&self) -> Self

Object Safety§

This trait is not object safe.

Implementors§