Skip to main content

smallvec_view

vstd_extra::external::smallvec

Function smallvec_view 

Source 
pub uninterp spec fn smallvec_view<A: Array>(v: &SmallVec<A>) -> Seq<A::Item>
Expand description

The contents of a SmallVec, modelled as a sequence of its elements.