static <A> A navigableSet_find(NavigableSet<A> set, A a) {
  if (set == null || a == null) null;
  A b = set.floor(a);
  ret b != null && sortedSet_compare(set, a, b) == 0 ? b : null;
}