vstd::std_specs::core

Trait ExBorrow

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

Required Associated Types§

Implementors§