type  = impl : DoubleEndedIterator<Item = (K, V)>;