Skip to main content

into_iter_keys

vstd::std_specs::btree

Function into_iter_keys 

Source 
pub uninterp spec fn into_iter_keys<'a, Key, Value>(i: Keys<'a, Key, Value>) -> Seq<Key>
Expand description