Make EfficientLength public, as EfficientLengthIterable.

sdk/lib/collection/splay_tree.dart

Index: sdk/lib/collection/splay_tree.dart
diff --git a/sdk/lib/collection/splay_tree.dart b/sdk/lib/collection/splay_tree.dart
index b5fcb93876f21b435abc91fb176380628a3b9863..b6ee8292ddf6080d94a5346d911d3def1f949e46 100644
--- a/sdk/lib/collection/splay_tree.dart
+++ b/sdk/lib/collection/splay_tree.dart
@@ -600,7 +600,7 @@ abstract class _SplayTreeIterator<T> implements Iterator<T> {
 }
 
 class _SplayTreeKeyIterable<K> extends Iterable<K>
-                               implements EfficientLength {
+                               implements EfficientLengthIterable<K> {
   _SplayTree<K> _tree;
   _SplayTreeKeyIterable(this._tree);
   int get length => _tree._count;
@@ -618,7 +618,7 @@ class _SplayTreeKeyIterable<K> extends Iterable<K>
 }
 
 class _SplayTreeValueIterable<K, V> extends Iterable<V>
-                                    implements EfficientLength {
+                                    implements EfficientLengthIterable<V> {
   SplayTreeMap<K, V> _map;
   _SplayTreeValueIterable(this._map);
   int get length => _map._count;