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