/guava/guava/src/com/google/common/collect/Sets.java
return e.floor( forward) ;
return forward.floor ( e ) ;
public E floor(@ParametricNullness E e) { return forward.ceiling(e); } @Override @CheckForNull public E ceiling(@ParametricNullness E e) { <extra_id_0> } @Override @CheckForNull public E higher(@ParametricNullness E e) { return forward.lower(e); }