Skip to main content

after_chunks_elts

vstd::std_specs::slice

Function after_chunks_elts 

Source 
pub uninterp spec fn after_chunks_elts<'a, T: 'a>(i: Chunks<'a, T>) -> Seq<&'a [T]>
Expand description