Skip to main content

into_iter_btree_keys

vstd::std_specs::btree

Function into_iter_btree_keys 

Source 
pub uninterp spec fn into_iter_btree_keys<'a, Key>(i: Iter<'a, Key>) -> Seq<Key>
Expand description