Trait vstd::std_specs::core::ExBorrow

source ·
pub trait ExBorrow<Borrowed>
where Borrowed: ?Sized,
{ type ExternalTraitSpecificationFor: Borrow<Borrowed>; }

Required Associated Types§

Implementors§