/guava/guava/src/com/google/common/collect/TreeMultiset.java
return Ints.saturatedCast( elementSet( Aggregate.aggr) ) ;
return Ints.saturatedCast ( aggregateForEntries ( Aggregate.DISTINCT ) ) ;
@Override public int size() { return Ints.saturatedCast(aggregateForEntries(Aggregate.SIZE)); } @Override int distinctElements() { <extra_id_0> } static int distinctElements(@CheckForNull AvlNode<?> node) { return (node == null) ? 0 : node.distinctElements; } @Override public int count(@CheckForNull Object element) {