pub trait MapIterAdditionalSpecFns<'a, Key, Value> { // Required method spec fn view(&self) -> (int, Seq<(Key, Value)>); }